Languages
Meseguer, Jose.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Meseguer, Jose.; Marti-Oliet, Narciso.; Olveczky, Peter Csaba.; Talcott, Carolyn.; SpringerLink (Online service)
(Electronic resources)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(Electronic resources)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :)
(Language materials, printed)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Computer logic.
Computer multitasking.
Logics and Meanings of Programs.
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Software engineering- Congresses.
Computer software- Verification.
Software engineering.
Logic design.
Programming Languages, Compilers, Interpreters.
Computer software- Development.
Abstract data types (Computer science)- Congresses.
Computer Science.
Computer science.
Computer programming.
Symbolic and Algebraic Manipulation.