Verwandte Artikel zu The Temporal Logic of Reactive and Concurrent Systems:...
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
- VerlagSpringer
- Erscheinungsdatum2012
- ISBN 10 1461269504
- ISBN 13 9781461269502
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten444
- Kontakt zum HerstellerNicht verfügbar
EUR 102,68
EUR 29,67 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für The Temporal Logic of Reactive and Concurrent Systems:...
Foto des Verkäufers
The Temporal Logic of Reactive and Concurrent Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 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
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
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. 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
Anzahl: 2 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
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems: Specification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781461269502_new
Anzahl: Mehr als 20 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 706. Bestandsnummer des Verkäufers C9781461269502
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Temporal Logic of Reactive and Concurrent Systems
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 444. Bestandsnummer des Verkäufers 1858589400
Anzahl: 4 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
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
Anzahl: 2 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 5 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
Anzahl: 4 verfügbar