Perspectives of Systems Informatics
Amir Pnueli
₹4,264
The Temporal Logic of Reactive and Concurrent Systems
Specification
by Amir Pnueli, Zohar Manna
Springer-Verlag New York Inc. · 2012
₹4,268
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,884 for this book (save ₹384).
9% off every book, up to ₹500 off per order.
About this book
Published by Springer-Verlag New York Inc.
Its main subjects are Logic design, Computer Communication Networks, Computer science and Software engineering.
Book details
- ISBN-13
- 9781461269502
- ISBN-10
- 1461269504
- Authors
- Amir Pnueli, Zohar Manna
- Publisher
- Springer-Verlag New York Inc.
- Published
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1992
- Pages
- 427
- Language
- English
- Condition
- New
- Subject
- Computer Communication Networks
More by Amir Pnueli and related titles
Digital Information and Communication Technology and Its Applications
Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh
₹4,593
Parallel Programming
Thomas Rauber, Gudula Rünger
₹4,784
Optical Burst Switched Networks
Jason P. Jue, Vinod M. Vokkarane
₹1,893
Automated Technology for Verification and Analysis
Tevfik Bultan, Pao-Ann Hsiung
₹5,652
Code Division Multiple Access Communications
Savo G. Glisic
₹11,590
Lightweight Cryptography for Security and Privacy
Gildas Avoine
₹3,647
Structural Information and Communication Complexity
Magnús M. Halldórsson
₹4,332
Multiwavelength Optical Networks
Xiaohua Jia, Ding-Zhu Du, Xiao-Dong Hu
₹11,591
Next-Generation Wireless Technologies
Naveen Chilamkurti
₹6,171
Cyber Security and Privacy
Frances Cleary, Massimo Felici
₹4,204
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
Abdelkader Hameurlain, Josef Küng, Roland Wagner
₹3,944