語系
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.
(書目-語言資料,印刷品)
主題
Computer Communication Networks.
Software engineering.
Rewriting systems (Computer science)
Algorithm Analysis and Problem Complexity.
Algebraic logic
Computer software
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Multitasking (Computer science)
Logic design.
Logics and Meanings of Programs.
Computer multitasking.
Computer logic.
Computer Science.
Computer simulation.
Abstract data types (Computer science)
Computer science.
Artificial Intelligence (incl. Robotics)
Space vehicles
Programming Languages, Compilers, Interpreters.
Astronautics