Languages
Meseguer, Jose.
Overview
| Works: | 1 works in 4 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:
Agha, Gul.; SpringerLink (Online service); Danvy, Olivier.; Meseguer, Jose.
(Language materials, printed)
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.
(Language materials, printed)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
Ogata, Kazuhiro.; Meseguer, Jose.; Iida, Shusaku.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
Spacecraft thermal control
by:
Pérez-Grande, Isabel.; Meseguer, Jose.; Sanz-Andres, Angel.
(Language materials, printed)
Subjects
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