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
9780387976648
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

Job Scheduling Strategies for Parallel Processing

$39.99

Kunststoffimplantate in der Ophthalmologie

$59.99

Self-Study and Diversity II

$39.99

Vergtung von Beratungsdienstleistungen

$89.99

The Diabetes Code- Prevent and Reverse Type 2 Diabetes Naturally by Jason Fung

$19.95

Soziologie

$59.99

Introduction to Project Finance in Renewable Energy Infrastructure

$139.99

Neunte sterreichische rztetagung Salzburg

$59.99

Energy Union

$84.99

Architecture of Computing Systems - ARCS 2009

$54.99

Unity of Body and Soul or Mind-Brain-Being?

$54.99

Sustainable Practices in Italian Businesses

$49.99

Corrosion Problems and Solutions in Oil Refining and Petrochemical Industry

$199.99

The Littlest Reindeer

$4.49

Herder Jahrbuch / Herder Yearbook 1994

$29.99

Abwehr und Anerkennung in der Klimakrise

$59.99

Marketing: Grundlagen

$19.99

Ambient Intelligence

$39.99

Memory, History, Justice in Hegel

$54.99

Text, Speech, and Dialogue

$89.00

Bilingual Creativity and Arab Contact Literature

$109.99

Atlantic Salmon

$84.99

Image Fusion

$169.99

Bilder von Lehrer*innenberuf und Schule

$74.99

Wettbewerbsstrategien im Umfeld von Darknet und Digital Rights Management

$74.99

New Poverty in the European Community

$109.99

Lectures on Functional Analysis and the Lebesgue Integral

$69.99

Science and Technology Parks and Regional Economic Development

$159.99

Kinetics of Catalytic Reactions

$54.99

Catalogue of Meteorites from South America

$54.99

The Notion of Progress in International Law Discourse

$109.99

Grassland Beef Production

$39.99

General Relativity Without Calculus

$79.99

Master Narratives of Islamist Extremism

$39.99

Point Defects in Semiconductors and Insulators

$219.99

Grundlagen der Wirtschaftlichkeitsrechnung

$44.99

A Million Fish. More or Less

$5.21

Die neueste Entwicklung der Wasserhaltung. Versuche mit verschiedenen Pumpensystemen

$69.95

Normativity in Legal Sociology

$99.00

Trace Elements, Micronutrients, and Free Radicals

$129.00