The Temporal Logic of Reactive and Concurrent Systems
Amir Pnueli, Zohar Manna
₹4,268
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference
by Amir Pnueli
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2010
₹4,264
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,880 for this book (save ₹384).
9% off every book, up to ₹500 off per order.
About this book
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference is written by Amir Pnueli. This edition is published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2010).
Its main subjects are Logic design, Computer science, Software engineering and Systems engineering.
Book details
- ISBN-13
- 9783642114854
- ISBN-10
- 3642114857
- Author
- Amir Pnueli
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Published
- 2010
- Edition
- 1
- Pages
- 426
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Amir Pnueli and related titles
Fm 2012
Dimitra Giannakopoulou, Dominique Mery
₹5,690
Fst Tcs 2003
Paritosh K. Pandya, Jaikumar Radhakrishnan
₹5,605
Caap '83
G. Ausiello, M. Protasi
₹5,649
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Practical Programmable Circuits
James D. Broesch
₹3,982
Logics in AI
David Pearce, Gerd Wagner
₹5,584
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307