Languages
Meseguer, Jose.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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)