Articles liés à Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540503021
- ISBN 13 9783540503026
- ReliureBroché
- Langueanglais
- Nombre de pages240
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 53,49
EUR 10,99 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Edité par
Springer Berlin Heidelberg, 1988
ISBN 10 : 3540503021
ISBN 13 : 9783540503026
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540503026
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540503026_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1988, 1988
ISBN 10 : 3540503021
ISBN 13 : 9783540503026
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. N° de réf. du vendeur 9783540503026
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems
Edité par
Springer Berlin Heidelberg, 1988
ISBN 10 : 3540503021
ISBN 13 : 9783540503026
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. 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 approach. N° de réf. du vendeur 4891532
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems
Edité par
Springer Berlin Heidelberg Sep 1988, 1988
ISBN 10 : 3540503021
ISBN 13 : 9783540503026
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch. N° de réf. du vendeur 9783540503026
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540503026
Quantité disponible : 10 disponible(s)
Image d'archives
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science)
Edité par
Springer, 1988
ISBN 10 : 3540503021
ISBN 13 : 9783540503026
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 0387503021 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-1127
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020168442
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Techniques in Real-Time and Fault-Tolerant Systems
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 240 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5849529
Quantité disponible : 4 disponible(s)