Formal Techniques in Real-Time and Fault-Tolerant System - Couverture souple

9783540584681: Formal Techniques in Real-Time and Fault-Tolerant System

Couverture souple

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Editeur : Springer, 2009

Afficher les exemplaires de cette �dition comportant l?ISBN

5 D'occasion

De EUR 61,87

7 Neuf

De EUR 115,34

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L�beck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2009
Langue: anglais
ISBN 10: 3540584684
ISBN 13: 9783540584681
Reliure: Broch�
Nombre de pages: 808
�diteur: Langmaack Hans
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Assez bon

Formal Techniques in Real-Time...

Afficher cet article

EUR 61,87

Exp�dition �EUR 4,76
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 115,34

Exp�dition �EUR 13,85
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Formal Techniques in Real-Time and Fault-Tolerant System

Image d'archives

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science)

Hans Langmaack, Jan Vytopil, Willem-Paul de Roever

Edit� par Springer 22 F, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Ancien ou d'occasion Paperback

Vendeur : AwesomeBooks, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . N� de r�f. du vendeur 7719-9783540584681

Contacter le vendeur

Acheter D'occasion

EUR 61,87

Exp�dition �EUR 4,76
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science)

Hans Langmaack, Jan Vytopil, Willem-Paul de Roever

Edit� par Springer 00/b /22 F, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Ancien ou d'occasion Paperback

Vendeur : Bahamut Media, Reading, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. N� de r�f. du vendeur 6545-9783540584681

Contacter le vendeur

Acheter D'occasion

EUR 61,87

Exp�dition �EUR 8,07
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct

Langmaack, de Roever, Vytopil

Edit� par Springer, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Ancien ou d'occasion 1

Vendeur : La bataille des livres, Pradinas, France

�valuation du vendeur 5 sur 5 �toiles

Etat : Tr�s bon. Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct | Langmaack, de Roever, Vytopil | Springer, 1994. In-8� broch�, 787p. Couverture propre. Dos solide. Int�rieur frais sans soulignage ou annotation. Exemplaire de biblioth�que : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons � l'int�rieur de l'ouvrage. Tr�s bon �tat g�n�ral [NM5+] Pour les exp�ditions internationales, nous consulter au pr�alable pour l ajustement des frais de port qui seront peut-�tre revus � la baisse/ For international shipments, please contact us in advance to adjust shipping costs. |. N� de r�f. du vendeur NE-IXH4-KA16

Contacter le vendeur

Acheter D'occasion

EUR 26

Exp�dition �EUR 60
Exp�dition depuis France vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863)

Edit� par Springer, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540584681_new

Contacter le vendeur

Acheter neuf

EUR 115,34

Exp�dition �EUR 13,85
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-Time and Fault-Tolerant Systems

Hans Langmaack

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Taschenbuch

impression � la demande

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 volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L�beck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment. 808 pp. Englisch. N� de r�f. du vendeur 9783540584681

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-time and Fault-tolerant Systems : Third International Symposium Organized Jointly With the Working Group Provably Correct Systems - Procos, L�beck, Germany, September 19 - 23, 1994. Proceedings

Langmaack, Hans (EDT); Roever, Willem-Paul de (EDT); Vytopil, Jan (EDT)

Edit� par Springer, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 5905897-n

Contacter le vendeur

Acheter neuf

EUR 131,94

Exp�dition �EUR 2,29
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-Time and Fault-Tolerant Systems

Langmaack, Hans|Roever, Willem-Paul de|Vytopil, Jan

Edit� par Springer Berlin Heidelberg, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Luebeck, Germany in September 1994.The book co. N� de r�f. du vendeur 4894728

Contacter le vendeur

Acheter neuf

EUR 92,27

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-Time and Fault-Tolerant Systems | Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, L�beck, Germany, September 19 - 23, 1994. Proceedings

Hans Langmaack (u. a.)

Edit� par Springer, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, L�beck, Germany, September 19 - 23, 1994. Proceedings | Hans Langmaack (u. a.) | Taschenbuch | xiv | Englisch | 1994 | Springer | EAN 9783540584681 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 101882135

Contacter le vendeur

Acheter neuf

EUR 95,70

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-Time and Fault-Tolerant Systems

Hans Langmaack

Edit� par Springer, Springer Sep 1994, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

Neuf Taschenbuch

impression � la demande

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 volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L�beck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 808 pp. Englisch. N� de r�f. du vendeur 9783540584681

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, L�beck, Germany, September 19 - 23, 1994. Proceedings

Hans Langmaack

Edit� par Springer, Springer, 1994

ISBN 10 : 3540584684 ISBN 13 : 9783540584681

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 volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L�beck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment. N� de r�f. du vendeur 9783540584681

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 66
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre