語系
Meseguer, Jose.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Meseguer, Jose.; Marti-Oliet, Narciso.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(書目-電子資源)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(書目-電子資源)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :)
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Computer logic.
Computer multitasking.
Logics and Meanings of Programs.
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Software engineering- Congresses.
Computer software- Verification.
Software engineering.
Logic design.
Programming Languages, Compilers, Interpreters.
Computer software- Development.
Abstract data types (Computer science)- Congresses.
Computer Science.
Computer science.
Computer programming.
Symbolic and Algebraic Manipulation.