Tools and Algorithms for the Construction and Analysis of Systems

Michael Schwartzbach

ISBN 10: 3540672826 ISBN 13: 9783540672821

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2000, 2000

impression � la demande

Neuf(s) Taschenbuch

Vendeur buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 23 janvier 2017

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch. N� de r�f. du vendeur 9783540672821

Signaler cet article

Synopsis :

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.
The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Tools and Algorithms for the Construction ...
�diteur : Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 2000
Date d'�dition : 2000
Reliure : Taschenbuch
Etat : Neu

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)

Susanne Graf, Michael Schwartzbach

Edit� par Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Ancien ou d'occasion Couverture souple

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Good. 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N� de r�f. du vendeur ZB720360

Contacter le vendeur

Acheter D'occasion

EUR 5,71

Frais de port : EUR 3,88

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European . (Lecture Notes in Computer Science)

Graf, Susanne [Editor]; Schwartzbach, Michael [Editor];

Edit� par Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Ancien ou d'occasion Paperback

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

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur DA1411477

Contacter le vendeur

Acheter D'occasion

EUR 6,85

Frais de port : EUR 6,02

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1785)

Edit� par Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020174548

Contacter le vendeur

Acheter neuf

EUR 104,45

Frais de port : EUR 3,44

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1785)

Edit� par Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

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 ria9783540672821_new

Contacter le vendeur

Acheter neuf

EUR 110,25

Frais de port : EUR 13,62

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European . (Lecture Notes in Computer Science)

Graf, Susanne and Michael Schwartzbach:

Edit� par Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Ancien ou d'occasion Couverture souple

Vendeur : NEPO UG, R�sselsheim am Main, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Auflage: 2000. 570 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 15,5 x 3,0 cm, Taschenbuch. N� de r�f. du vendeur 371171

Contacter le vendeur

Acheter D'occasion

EUR 115,47

Frais de port : EUR 24

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Graf, Susanne|Schwartzbach, Michael

Edit� par Springer Berlin Heidelberg, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full p. N� de r�f. du vendeur 4898131

Contacter le vendeur

Acheter neuf

EUR 118,64

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Susanne Graf

Edit� par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2000

ISBN 10 : 3540672826 ISBN 13 : 9783540672821

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware - This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems. N� de r�f. du vendeur 9783540672821

Contacter le vendeur