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