語系
Meseguer, Jose.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
SpringerLink (Online service); Agha, Gul.; Danvy, Olivier.; Meseguer, Jose.
(書目-電子資源)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Meseguer, Jose.; Rosu, Grigore.
(書目-電子資源)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Nicola, Rocco.; SpringerLink (Online service); Degano, Pierpaolo.; Meseguer, Jose.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Abstract data types (Computer science)
Software engineering.
Algebraic logic
Multitasking (Computer science)
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Rewriting systems (Computer science)