Verwandte Artikel zu Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings: 1486 (Lecture Notes in Computer Science) - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum1998
- ISBN 10 3540650032
- ISBN 13 9783540650034
- EinbandTapa blanda
- Anzahl der Seiten356
- HerausgeberRavn Anders P., Rischel Hans
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 52,84
Versand:
Gratis
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science (1486)) by Rischel, Hans, Ravn, Anders P. [Paperback ]
Anbieter:
Bewertung
Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540650034
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 52,84
Währung umrechnen
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science, 1486)
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020173599
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 56,16
Währung umrechnen
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 918014-n
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 57,43
Währung umrechnen
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium; FTRTFT'98; Lyngby; Denmark; September 14-18; 1998; Proceedings
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540650034_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 59,33
Währung umrechnen
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 918014-n
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 59,32
Währung umrechnen
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1998)
ISBN 10: 3540650032
ISBN 13: 9783540650034
Neu
Softcover
Anzahl: 15
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500. . 1998. Paperback. . . . . Bestandsnummer des Verkäufers V9783540650034
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 77,98
Währung umrechnen
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Verlag:
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540650032
ISBN 13: 9783540650034
Neu
Taschenbuch
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Bestandsnummer des Verkäufers 9783540650034
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 59,51
Währung umrechnen
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceeding
Anbieter:
Bewertung
Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540650034
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 78,19
Währung umrechnen
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems
Verlag:
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540650032
ISBN 13: 9783540650034
Neu
Softcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully sel. Bestandsnummer des Verkäufers 4897023
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 48,37
Währung umrechnen
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems
Verlag:
Springer Berlin Heidelberg Sep 1998
(1998)
ISBN 10: 3540650032
ISBN 13: 9783540650034
Neu
Taschenbuch
Anzahl: 2
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. 356 pp. Englisch. Bestandsnummer des Verkäufers 9783540650034
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 74,89
Währung umrechnen