Tools and Algorithms for the Construction and Analysis of Systems - Couverture souple

9783540418658: Tools and Algorithms for the Construction and Analysis of Systems

Couverture souple

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

Editeur : Springer, 2009

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 20,26

7 Neuf

De EUR 103,23

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

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: 3540418652
ISBN 13: 9783540418658
Reliure: Broch�
Nombre de pages: 608
�diteur: Margaria Tiziana
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Assez bon

Ex-library paperback in very nice...

Afficher cet article

EUR 20,26

EUR 5,95 shipping
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 103,23

EUR 3,40 shipping
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Tools and Algorithms for the Construction and Analysis...

Image d'archives

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

Margaria, Tiziana [Editor]; Yi, Wang [Editor];

Edit� par Springer, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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. Except for library markings, text block clean and unmarked. Tight binding. N� de r�f. du vendeur DA1412181

Contacter le vendeur

Acheter D'occasion

EUR 20,26

EUR 5,95 shipping
Exp�dition nationale�: 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: 7th International Conference, TACAS 2001 Held as Part of the Joint European . Notes in Computer Science, 2031, Band 2031)

Margaria, Tiziana und Wang Yi:

Edit� par Springer, 2009

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

Ancien ou d'occasion paperback

Vendeur : Studibuch, Stuttgart, Allemagne

�valuation du vendeur 5 sur 5 �toiles

paperback. Etat : Befriedigend. 608 Seiten; 9783540418658.4 Gewicht in Gramm: 1. N� de r�f. du vendeur 880150

Contacter le vendeur

Acheter D'occasion

EUR 14,46

EUR 62,30 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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 ABLIING23Mar3113020166810

Contacter le vendeur

Acheter neuf

EUR 103,23

EUR 3,40 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783540418658

Contacter le vendeur

Acheter neuf

EUR 126,33

Livraison gratuite
Exp�dition nationale�: 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

Wang Yi

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 2001, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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 constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration. 606 pp. Englisch. N� de r�f. du vendeur 9783540418658

Contacter le vendeur

Acheter neuf

EUR 106,99

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Margaria, Tiziana|Yi, Wang

Edit� par Springer Berlin Heidelberg, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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 constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution. N� de r�f. du vendeur 4889492

Contacter le vendeur

Acheter neuf

EUR 92,27

EUR 48,99 shipping
Exp�dition depuis 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 | 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Tiziana Margaria (u. a.)

Edit� par Springer, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Tools and Algorithms for the Construction and Analysis of Systems | 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings | Tiziana Margaria (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540418658 | Verantwortliche Person f�r die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. N� de r�f. du vendeur 105012793

Contacter le vendeur

Acheter neuf

EUR 95,80

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems

Wang Yi

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 2001, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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 constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration. 606 pp. Englisch. N� de r�f. du vendeur 9783540418658

Contacter le vendeur

Acheter neuf

EUR 106,99

EUR 60 shipping
Exp�dition depuis 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 : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Wang Yi

Edit� par Springer Berlin Heidelberg, 2001

ISBN 10 : 3540418652 ISBN 13 : 9783540418658

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 constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration. N� de r�f. du vendeur 9783540418658

Contacter le vendeur

Acheter neuf

EUR 106,99

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier