Languages
Meseguer, Jose.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Agha, Gul.; Danvy, Olivier.; Meseguer, Jose.; SpringerLink (Online service)
(Electronic resources)
Specification, algebra, and softwareessays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(Electronic resources)
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(Electronic resources)
Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Marti-Oliet, Narciso.; Meseguer, Jose.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(Electronic resources)
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(1998 :); Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)
Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
by:
Futatsugi, Kokichi.; Jouannaud, Jean-Pierre.; Meseguer, Jose.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Rewriting systems (Computer science)
Software Engineering.
Software engineering
Algebraic logic
Computer logic.
Computer multitasking.
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra
Multitasking (Computer science)
Computer simulation.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Software engineering.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Logic design.
Computer Science.
Computer Communication Networks.
Computer science.
Computer programming.
Symbolic and Algebraic Manipulation.