Time for Verification Essays in Memory of Amir Pnueli

Time for Verification Essays in Memory of Amir Pnueli

Show other versions (1)
Bibliographic Details
Main Author: Manna, Zohar
Corporate Author: SpringerLink (Online service)
Other Authors: Peled, Doron A., 1962-
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6200
Subjects:
Computer science
Logic design
Computer Science
Programming Techniques
Mathematical Logic and Formal Languages
Computation by Abstract Devices
Logics and Meanings of Programs
Online Access:http://dx.doi.org/10.1007/978-3-642-13754-9

Similar Items

Similar Items