Von dem Buch Formal techniques in real-time and fault-tolerant systems. Proceedings of a symposium, Warwick, UK, eptember 22-23, 1988. (Lecture notes in computer sciences, vol.331).Springer Berlin, 1988 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%: Ed. By Mathai Joseph; Joseph, Mathai: Formal techniques in real-time and fault-tolerant systems. Proceedings of a symposium, Warwick, UK, eptember 22-23, 1988. (Lecture notes in computer sciences, vol.331).Springer Berlin, 1988 (ISBN: 9783540503026) 1988, in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
61%: Joseph, Mathai [Editor]: Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (ISBN: 9780387503028) 1988, Springer-Verlag, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal techniques in real-time and fault-tolerant systems. Proceedings of a symposium, Warwick, UK, eptember 22-23, 1988. (Lecture notes in computer sciences, vol.331).Springer Berlin, 1988
10 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 |
|---|---|---|---|
| Schnitt | € 45,99 | € 61,89 | € 57,33 |
| Nachfrage |
1
Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (1988)
EN PB NWISBN: 9780387503028 bzw. 0387503021, in Englisch, 229 Seiten, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1 to 3 months.
Von Händler/Antiquariat, Amazon.com.
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1988-09, Studio: Springer-Verlag, Verkaufsrang: 17282412.
Von Händler/Antiquariat, Amazon.com.
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1988-09, Studio: Springer-Verlag, Verkaufsrang: 17282412.
2
Symbolbild
Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (1988)
EN USISBN: 9780387503028 bzw. 0387503021, in Englisch, Springer-Verlag, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Acceptable. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Acceptable. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
3
Symbolbild
Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (1988)
EN PB USISBN: 9780387503028 bzw. 0387503021, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1988-09-01. Paperback. Very Good. 3540503021 Ex-library paperback in very nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1988-09-01. Paperback. Very Good. 3540503021 Ex-library paperback in very nice condition with the usual markings and attachments.
4
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 Lecture Notes in Computer Science (1988)
DE PB NWISBN: 9783540503026 bzw. 3540503021, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 232 pages. Dimensions: 9.0in. x 6.2in. x 0.6in.This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 232 pages. Dimensions: 9.0in. x 6.2in. x 0.6in.This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
5
Symbolbild
Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (1988)
EN PB USISBN: 9780387503028 bzw. 0387503021, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Ergodebooks.
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. Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (1988)
DE PB USISBN: 9783540503026 bzw. 3540503021, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
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 : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (1988)
DEISBN: 9783540503026 bzw. 3540503021, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Von Händler/Antiquariat, Lawrence's Books [36203], Torrance, CA, U.S.A.
Very good ex-library (Caltech) softcover. Binding tight. Text very good. Usual library markings.
Very good ex-library (Caltech) softcover. Binding tight. Text very good. Usual library markings.
8
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science) (1988)
DE PB NWISBN: 9783540503026 bzw. 3540503021, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [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. Proceedings of a symposium, Warwick, UK, eptember 22-23, 1988. (Lecture notes in computer sciences, vol.331).Springer Berlin, 1988
DE USISBN: 3540503021 bzw. 9783540503026, in Deutsch, VI, 229 S. m. Abb., Originalkartoniert mit Folie überzogen (original cased boards with foil), Paperback,insgesamt guter Zustand (in good condition). ISBN 3-540-50302-1, gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Günther Sprunkel Antiquariat e.K. [2688].
Von Händler/Antiquariat, Günther Sprunkel Antiquariat e.K. [2688].
10
Symbolbild
Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science 331) (1988)
EN PB USISBN: 9780387503028 bzw. 0387503021, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
Lade…