The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar, Pnueli, Amir
ISBN 10: 1461269504 ISBN 13: 9781461269502
Verlag: Springer, 2012
Gebraucht
Paperback
Verkäufer
Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 15. April 2021
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Like New. Bestandsnummer des Verkäufers ERICA77314612695046
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: The Temporal Logic of Reactive and ...
Verlag: Springer
Erscheinungsdatum: 2012
Einband: Paperback
Zustand: Like New
Art des Buches: book
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
The Temporal Logic of Reactive and Concurrent Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Request lecturer material: sn.pub/lecturer-materialReactive 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 s. Bestandsnummer des Verkäufers 4189584
Neu kaufen
EUR 48,37
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
The Temporal Logic of Reactive and Concurrent Systems | Specification
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. The Temporal Logic of Reactive and Concurrent Systems | Specification | Zohar Manna (u. a.) | Taschenbuch | xiv | Englisch | 2012 | Springer | EAN 9781461269502 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 106014091
Neu kaufen
EUR 50,35
EUR 70,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems: Specification
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2716030028413
Neu kaufen
EUR 52,75
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
The Temporal Logic of Reactive and Concurrent Systems
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 444 pp. Englisch. Bestandsnummer des Verkäufers 9781461269502
Neu kaufen
EUR 53,49
EUR 23,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
The Temporal Logic of Reactive and Concurrent Systems
Verlag:
Springer New York, Springer New York Okt 2012, 2012
ISBN 10: 1461269504
ISBN 13: 9781461269502
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch. Bestandsnummer des Verkäufers 9781461269502
Neu kaufen
EUR 53,49
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
The Temporal Logic of Reactive and Concurrent Systems : Specification
Verlag:
Springer New York, Springer New York, 2012
ISBN 10: 1461269504
ISBN 13: 9781461269502
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9781461269502
Neu kaufen
EUR 59,97
EUR 63,34 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems: Specification
Verlag:
Springer-Verlag New York Inc., 2012
ISBN 10: 1461269504
ISBN 13: 9781461269502
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9781461269502
Neu kaufen
EUR 67,45
EUR 20,34 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 444. Bestandsnummer des Verkäufers 2658589394
Neu kaufen
EUR 76,85
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 444 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 50970381
Neu kaufen
EUR 78,71
EUR 7,42 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems: Specification
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. reprint edition. 442 pages. 9.25x6.10x0.79 inches. In Stock. Bestandsnummer des Verkäufers x-1461269504
Neu kaufen
EUR 80,06
EUR 14,27 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar