Image from Amazon.com
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.
Series: Lecture Notes in Computer Science ; 5065Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: xv, 809 p. : ill., port., digital ; 24 cmISBN:- 9783540686798 (electronic bk.)
- 9783540686767 (paper)
- Rewriting systems (Computer science)
- Software engineering
- Multitasking (Computer science)
- Computer simulation
- Computer software -- Verification
- Computer programming
- Computer Science
- Algorithm Analysis and Problem Complexity
- Artificial Intelligence (incl. Robotics)
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Software Engineering
- Symbolic and Algebraic Manipulation
- 005.2 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.