Talcott, Carolyn.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Martí-Oliet, Narciso.; Ölveczky, Peter Csaba.; Talcott, Carolyn.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Marti-Oliet, Narciso.; Talcott, Carolyn.; Meseguer, Jose.
(書目-語言資料,印刷品)
Rebeca for actor analysis in action = essays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
Mousavi, Mohammad Reza.; SpringerLink (Online service); Sirjani, Marjan.; Lee, Edward A.; Talcott, Carolyn.
(書目-語言資料,印刷品)
Composing Model-Based Analysis Tools
by:
SpringerLink (Online service); Heinrich, Robert.; Talcott, Carolyn.; Durán, Francisco.; Zschaler, Steffen.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
Guttman, Joshua.; Ban Kirigin, Tajana.; Talcott, Carolyn.; Kuznetsov, Stepan.; Okada, Mitsuhiro.; SpringerLink (Online service); Nigam, Vivek.; Thau Loo, Boon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer organization.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Modeling languages (Computer science)
Computer logic.
Artificial intelligence.
Software engineering.
Computer science.
Computer multitasking.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence.