logo
Home Academics Computer & IT The Temporal Logic of Reactive and Concurrent Systems
product-img
The Temporal Logic of Reactive and Concurrent Systems
Enjoying reading this book?

The Temporal Logic of Reactive and Concurrent Systems

by Amir Pnueli
4.6
4.6 out of 5
Creators
Author Amir Pnueli
Publisher Springer Customer Service Center GmbH
Synopsis

Enjoying reading this book?
Binding: Paperback
About the author
Specifications
  • Language: English
  • Publisher: Springer Customer Service Center GmbH
  • Pages: 444
  • Binding: Paperback
  • ISBN: 9781461269502
  • Category: Computer & IT
  • Related Category: IT Certification
Share this book Twitter Facebook


Suggested Reads
Suggested Reads
Books from this publisher
Stochastic Calculus for Finance I by Steven Shreve
Phase-Locked Loops for Wireless Communications by Donald R. Stephens
War and the Transformation of Global Politics by Vivienne Jabri
Guide to the Unified Process Featuring UML, Java and Design Patterns by John Hunt
Experience Skype to the Max by James Courtney
Trophoblast Invasion and Endometrial Receptivity by J.D. Aplin
Books from this publisher
Related Books
HCNA Networking Study Guide Ltd. Huawei Technologies Co.
Future Information Technology, Application, and Service Cho-Li Wang
Globalization of Mobile and Wireless Communications Richard van Nee
Topology Control in Wireless Sensor Networks Pedro M. Wightman
Maximum Entropy, Information Without Probability and Complex Fractals Guy Jumarie
Machine Intelligence and Signal Processing Angshul Majumdar
Related Books
Bookshelves
Stay Connected