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