Von dem Buch Formal Techniques In Real-Time And Fault-Tolerant Systems Proceedings Of The Second International Symposium, Nijmegen, The Nnetherlands, January 8-10, 1992: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Jan Vytopil: Formal Techniques In Real-Time And Fault-Tolerant Systems Proceedings Of The Second International Symposium, Nijmegen, The Nnetherlands, January 8-10, 1992: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (ISBN: 9783540550921) 1991, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
50%: Vytopil, Jan [Editor]: Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571) (ISBN: 9780387550923) Springer-Verlag, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Formal Techniques In Real-Time And Fault-Tolerant Systems Proceedings Of The Second International Symposium, Nijmegen, The Nnetherlands, January 8-10, 1992: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
10 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 | 2016 |
|---|---|---|---|---|---|
| Schnitt | € 83,39 | € 91,37 | € 74,13 | € 71,16 | € 123,00 |
| Nachfrage |
1
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571) (1992)
EN PB USISBN: 9780387550923 bzw. 0387550925, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1992. Lecture Notes in Computer Science 571; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1992. Lecture Notes in Computer Science 571; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
2
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science) (1992)
EN PB NWISBN: 9780387550923 bzw. 0387550925, in Englisch, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Wisepenny.
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how well the use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of fault hypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought new insights in recent years, and these are presented in this book. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1992-01, Studio: Springer-Verlag, Verkaufsrang: 17395272.
Von Händler/Antiquariat, Wisepenny.
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how well the use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of fault hypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought new insights in recent years, and these are presented in this book. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1992-01, Studio: Springer-Verlag, Verkaufsrang: 17395272.
3
n/a
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science) (1992)
EN USISBN: 9780387550923 bzw. 0387550925, in Englisch, Springer-Verlag, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows some signs of wear, and may have some markings on the inside.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows some signs of wear, and may have some markings on the inside.
4
Formal Techniques in Real- Time and Fault- Tolerant Systems: Second. Lecture notes in computer science 2., Nijmegen, The Netherlands, January 8 - 10, 1992
DE USISBN: 3540550925 bzw. 9783540550921, in Deutsch, 1991. gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR, [94444].
Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / ausgabe 1991 aber gleiche isbn, IX, 620 S. : graph. Darst. kart.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR, [94444].
Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / ausgabe 1991 aber gleiche isbn, IX, 620 S. : graph. Darst. kart.
5
Formal Techniques in Real-Time and Fault-Tolerant Systems
DE PB NWISBN: 9783540550921 bzw. 3540550925, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
DEISBN: 9783540550921 bzw. 3540550925, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Von Händler/Antiquariat, BookSleuth [58350165], Milpitas, CA, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Formal Techniques in Real-Time and Fault-Tolerant Systems (1991)
DE PB NW RPISBN: 9783540550921 bzw. 3540550925, in Deutsch, Springer Dez 1991, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science) (1992)
EN PB RPISBN: 9780387550923 bzw. 0387550925, in Englisch, Springer-Verlag, Taschenbuch, Nachdruck.
Von Händler/Antiquariat, Ergodebooks [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
9
Formal Techniques in Real-Time and Fault-Tolerant Systems
DE NWISBN: 9783540550921 bzw. 3540550925, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandfertig in 5 - 7 Tagen.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (1991)
EN PB USISBN: 9780387550923 bzw. 0387550925, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR [51070922], Florstadt, Germany.
620 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 464.
620 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 464.
Lade…