Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings - Couverture souple

Vytopil, Jan

9783540550921: Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Couverture souple

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 24,59

7 Neuf

De EUR 14,30

This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

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

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540550925
ISBN 13: 9783540550921
Reliure: Broch�
Nombre de pages: 640
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Assez bon

Ex-library paperback in very nice...

Afficher cet article

EUR 24,59

Exp�dition �EUR 6,07
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 14,30

Exp�dition �EUR 11,71
Exp�dition depuis Canada vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9780387550923: Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings

Edition pr�sent�e

ISBN 10 : 0387550925 ISBN 13 : 9780387550923
Editeur : Springer Verlag, 1992
Couverture souple

R�sultats de recherche pour Formal Techniques in Real-Time and Fault-Tolerant Systems:...

Image d'archives

Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571

Vytopil, J. (ed.)

Edit� par Springer-Verlag, New York, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

Neuf Softcover Edition originale

Vendeur : B-Line Books, Amherst, NS, Canada

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : New. First Edition. Still in publisher's shrinkwrap ; 620 pages. N� de r�f. du vendeur 2311

Contacter le vendeur

Acheter neuf

EUR 14,30

Exp�dition �EUR 11,71
Exp�dition depuis Canada vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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)

Vytopil, Jan [Editor]

Edit� par Springer, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur DA1411202

Contacter le vendeur

Acheter D'occasion

EUR 24,59

Exp�dition �EUR 6,07
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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)

Vytopil, Jan

Edit� par Springer, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

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 ria9783540550921_new

Contacter le vendeur

Acheter neuf

EUR 112,14

Exp�dition �EUR 13,83
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

Jan Vytopil

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1991, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

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 book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied:- to specify and model qualitative and quantitativereal-time and fault-tolerant behavior,- to analyze timeliness requirements and consequences offaulthypotheses,- to verify protocols and program code,- to formulate formal frameworks for development ofreal-time and fault-tolerant systems,- to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book. 640 pp. Englisch. N� de r�f. du vendeur 9783540550921

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

Vytopil, Jan

Edit� par Springer Berlin Heidelberg, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for . N� de r�f. du vendeur 4893449

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 | Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Jan Vytopil

Edit� par Springer, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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

Jan Vytopil

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1991, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

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 book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied: to specify and model qualitative and quantitativereal-time and fault-tolerant behavior to analyze timeliness requirements and consequences offaulthypotheses to verify protocols and program code to formulate formal frameworks for development ofreal-time and fault-tolerant systems to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 640 pp. Englisch. N� de r�f. du vendeur 9783540550921

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 : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Jan Vytopil

Edit� par Springer, Springer, 1991

ISBN 10 : 3540550925 ISBN 13 : 9783540550921

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 book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied: to specify and model qualitative and quantitativereal-time and fault-tolerant behavior to analyze timeliness requirements and consequences offaulthypotheses to verify protocols and program code to formulate formal frameworks for development ofreal-time and fault-tolerant systems to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book. N� de r�f. du vendeur 9783540550921

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 64,78
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier