語系
Meseguer, Jose.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Agha, Gul.; SpringerLink (Online service); Danvy, Olivier.; Meseguer, Jose.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
Ogata, Kazuhiro.; Meseguer, Jose.; Iida, Shusaku.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Meseguer, Jose.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :); Rosu, Grigore.
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Nicola, Rocco.; SpringerLink (Online service); Meseguer, Jose.
(書目-語言資料,印刷品)
Spacecraft thermal control
by:
Pérez-Grande, Isabel.; Meseguer, Jose.; Sanz-Andres, Angel.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Software engineering.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Rewriting systems (Computer science)
Computer multitasking.
Space vehicles
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Astronautics
Algorithm Analysis and Problem Complexity.
Computer logic.
Algebraic logic
Multitasking (Computer science)
Computer Science.
Computer simulation.
Abstract data types (Computer science)
Computer science.
Logic design.
Computer software