Articles liés à Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition1998
- ISBN 10 3540650032
- ISBN 13 9783540650034
- ReliureBroché
- Nombre de pages347
Acheter neuf
En savoir plus sur cette édition
EUR 52,77
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
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 ]
Edité par
Springer
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540650034
Acheter neuf
EUR 52,77
Autre devise
Image d'archives
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)
Edité par
Springer
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020173599
Acheter neuf
EUR 56,08
Autre devise
Image d'archives
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium; FTRTFT'98; Lyngby; Denmark; September 14-18; 1998; Proceedings
Edité par
Springer
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540650034_lsuk
Acheter neuf
EUR 58,77
Autre devise
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Edité par
Springer Berlin Heidelberg
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540650034
Acheter neuf
EUR 59,51
Autre devise
Image d'archives
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceeding
Edité par
Springer 1998-09
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540650034
Acheter neuf
EUR 77,45
Autre devise
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems
Edité par
Springer Berlin Heidelberg
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : 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. N° de réf. du vendeur 4897023
Acheter neuf
EUR 48,37
Autre devise
Image fournie par le vendeur
Formal Techniques in Real-Time and Fault-Tolerant Systems
Edité par
Springer Berlin Heidelberg Sep 1998
(1998)
ISBN 10 : 3540650032
ISBN 13 : 9783540650034
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540650034
Acheter neuf
EUR 74,89
Autre devise