Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461209317
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Building Entrepreneurial Ecosystems in Sub-Saharan Africa

$44.99

Vermgen in Deutschland

$39.99

Cardiovascular Disease in Racial and Ethnic Minority Populations

$169.99

Cancer Neurology in Clinical Practice

$199.99

Jasmine Toguchi: Jasmine Toguchi, Drummer Girl

$4.46

Die Pflege der Eiche

$59.99

Advances in Clean Energy and Sustainability

$299.99

Highly Sensitive Optical Receivers

$109.99

Automotive Tribology

$169.99

Entwicklungspsychologie des Jugendalters

$44.99

Mathematical Models of Hysteresis

$84.99

Information Systems Security

$39.99

Cultures of Computation and Quantification in the Ancient World

$179.99

The Thief and the Sword

$11.24

Partial Differential Equations II

$109.99

Shallow Water Waves on the Rotating Earth

$54.99

Pro Java ME MMAPI

$39.99

Politikberatung und Lobbying in Brssel

$49.99

Microbial Activities

$39.99

The Structure of Surfaces II

$109.99

Central European Functional Programming School

$39.99

Proceedings of ELM-2017

$219.99

Spermatology

$74.99

Social Science Research in the Arab World and Beyond

$37.99

Was wre die Mathematik ohne die Wurzel?

$19.99

Regulation and Compliance in the Atlantic Fisheries

$84.99

Theaters of War

$54.99

The Change Laboratory for Teacher Training in Entrepreneurship Education

$59.99

Modelling Regional Scenarios for the Enlarged Europe

$109.99

Pennies for Elephants

$5.21

Gewalt und Konflikt in einer globalisierten Welt

$69.99

Biology and Treatment of Leukemia and Bone Marrow Neoplasms

$159.99

Material Culture and Sedition, 1688-1760

$119.99

Applying Cognitive Grammar in the Foreign Language Classroom

$109.99

Laboratory Astrophysics

$129.99

Graph-Theoretic Concepts in Computer Science

$54.99

Vaccines against Allergies

$169.99

Pope Francis as a Global Actor

$84.99

Individuelle Risikovorsorgeberatung

$49.99

Intelligent Systems Technologies and Applications

$129.00