Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 5.49 € GLS courier 10.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

The Temporal Logic of Reactive and Concurrent Systems

Name: The Temporal Logic of Reactive and Concurrent Systems
Brand: Springer, Berlin
SKU: 06795010
Price: 51.46 EUR
Availability: InStock
Author: Zohar Manna
ISBN: 9781461269502

Specification

Zohar Manna

Amir Pnueli

Language

English

Book Paperback

Libristo code: 06795010

Publishers Springer, Berlin, November 2011

Reactive systems are computing systems which are interactive, such as real-time systems, operating s... Full description

Libristo code: 06795010

125 b

51.46 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Madame Charlier et le voyage dans l'au-dela : France polar Martin Barkawitz

Adobe ePub DRM

3.72 €

Ключ Сары

Paperback

11.47 €

Chinesische Kunst Stephen W. Bushell

Adobe ePub DRM

13.89 €

Král, jenž byl a bude Válka králů Kieron Gillen

Hardback

19.73 €

Tajemné dopisy Hannah Reynolds

Paperback

14.39 €

Ich habe 300 Jahre lang Schleim getötet und aus Versehen das höchste Level erreicht Light Novel 13 Benio

Paperback

13.99 €

Where the Dragon's Rain Falls 7 Summer

Paperback

15.70 €

Calm Your Mind. Find Your Flow - Das Grundlagenbuch Ludmila Blum

Paperback

16.61 €

Zdejmowana proteza częściowa Kavana R.

Paperback

43.50 €

HR im Biotech-Start-up Maike July

Adobe ePub DRM

36.05 €

Bratislava obrázkový sprievodca RUS - Bratislava iljustyrovannyj putevoditelj Martin Sloboda

Paperback

8.85 €

CALVENDO Puzzle Wellensittich - glückliche Wellihenne bei der Nahrungsaufnahme! 1000 Teile Lege-Größe 48 x 64 cm Foto-Puzzle Bild von Björn Bergmann Björn Bergmann

Game

33.93 €

Hector und die Entdeckung der Zeit Francois Lelord

Paperback

10.87 €

Parsifal Richard Wagner

Paperback

8.35 €

La Masse Osseuse de l''adolescent Rawad El Hage

Paperback

61.23 €

L'experience de l'ecriture Fayard-E

Paperback

81.47 €

Belle Du Seigneur Albert Cohen

Paperback

15.10 €

L'Ame Et Le Corps Bernardo Carlos Bazan

Paperback

27.39 €

La sombra inmóvil Antonio López Ortega

Paperback

28.90 €

FOL, Formación y orientación laboral

Paperback

36.35 €

de l'Adoption: These Pour Le Doctorat TRAHAND-L

Paperback

15.90 €

Ovids Werke in ihrem Verhaltnis zur antiken Kunst Wilhelm Wunderer

Paperback

11.67 €

Digitale Abformung und digitale Okklusion Bikash Pattanaik

Paperback

37.26 €

Les Imitateurs de Charles Neuf, Ou Les Conspirateurs Foudroyes BRIZARD-G

Paperback

17.82 €

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.