Verwandte Artikel zu The Temporal Logic of Reactive and Concurrent Systems:...

The Temporal Logic of Reactive and Concurrent Systems: Specification - Hardcover

 
9780387976648: The Temporal Logic of Reactive and Concurrent Systems: Specification

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
  • Erscheinungsdatum1991
  • ISBN 10 0387976647
  • ISBN 13 9780387976648
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten448
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

pp. 448
Diesen Artikel anzeigen

EUR 2,30 für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783540976646: The Temporal Logic of Reactive and Concurrent Systems Specification

Vorgestellte Ausgabe

ISBN 10:  3540976647 ISBN 13:  9783540976646
Verlag: Springer-Verlag Berlin and Heide..., 1992
Hardcover

Suchergebnisse für The Temporal Logic of Reactive and Concurrent Systems:...

Beispielbild für diese ISBN

Manna, Zohar; Pnueli, Amir
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-92749

Verkäufer kontaktieren

Neu kaufen

EUR 77,23
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

0
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-90044

Verkäufer kontaktieren

Neu kaufen

EUR 77,23
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Zohar Manna|Amir Pnueli
Verlag: Springer New York, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Gebunden. 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 5913076

Verkäufer kontaktieren

Neu kaufen

EUR 101,04
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Amir Pnueli
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. 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. 446 pp. Englisch. Bestandsnummer des Verkäufers 9780387976648

Verkäufer kontaktieren

Neu kaufen

EUR 117,69
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Amir Pnueli
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. 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 446 pp. Englisch. Bestandsnummer des Verkäufers 9780387976648

Verkäufer kontaktieren

Neu kaufen

EUR 117,69
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Manna Zohar Pnueli Amir
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Gebraucht Hardcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 448. Bestandsnummer des Verkäufers 18290065

Verkäufer kontaktieren

Gebraucht kaufen

EUR 119,47
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Zohar Manna Amir Pnueli
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Gebraucht Hardcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 448. Bestandsnummer des Verkäufers 26290075

Verkäufer kontaktieren

Gebraucht kaufen

EUR 115,46
Währung umrechnen
Versand: EUR 7,89
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Amir Pnueli
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 125,24
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Manna Zohar Pnueli Amir
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Gebraucht Hardcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 448 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 7590596

Verkäufer kontaktieren

Gebraucht kaufen

EUR 116,46
Währung umrechnen
Versand: EUR 10,50
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Manna, Zohar; Pnueli, Amir
Verlag: Springer, 1991
ISBN 10: 0387976647 ISBN 13: 9780387976648
Neu Hardcover

Anbieter: BennettBooksLtd, North Las Vegas, NV, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

hardcover. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-0387976647

Verkäufer kontaktieren

Neu kaufen

EUR 93,47
Währung umrechnen
Versand: EUR 38,57
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 6 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen