Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna
Save 35% Save 35%
Current price ₹7,790.00
Original price ₹11,984.00
Original price ₹11,984.00
Original price ₹11,984.00
(-35%)
₹7,790.00
Current price ₹7,790.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9780387976648
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 427
  • Original Price: EUR 109.99
  • Language: English
  • Edition: 1992
  • Item Weight: 799 grams
  • BISAC Subject(s): Software Development & Engineering / Systems Analysis & Design, Artificial Intelligence / Expert Systems, and Programming / General

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us