Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / [electronic resource] : edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - xv, 809 p. : ill., port., digital ; 24 cm. - Lecture Notes in Computer Science, 5065 0302-9743 ; .

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

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library