Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Couverture souple

9783642243714: Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Couverture souple

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Editeur : Springer, 2011

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 38,50

9 Neuf

De EUR 46,22

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, A.T.V.A. 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

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

Pr�sentation de l'�diteur

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

�diteur: Springer
Date d'�dition: 2011
Langue: anglais
ISBN 10: 3642243711
ISBN 13: 9783642243714
Reliure: Broch�
Nombre de pages: 548
�diteur: Bultan Tevfik, Hsiung Pao-Ann
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 : Tr�s bon

Zustand: Sehr gut | Seiten: 532...

Afficher cet article

EUR 38,50

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

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 46,22

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Automated Technology for Verification and Analysis:...

Image d'archives

Automated Technology for Verification and Analysis (eng)

Bultan, Tevfik

Edit� par Springer, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur f04f134ef4c49147c65bb1995f97859b

Contacter le vendeur

Acheter neuf

EUR 46,22

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis (Paperback)

Tevfik Bultan

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783642243714

Contacter le vendeur

Acheter neuf

EUR 57,54

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, 6996)

Edit� par Springer, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

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-9783642243714

Contacter le vendeur

Acheter neuf

EUR 64,81

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, 6996)

Edit� par Springer, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

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 ria9783642243714_new

Contacter le vendeur

Acheter neuf

EUR 58,27

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Bultan, Tevfik

Edit� par Springer 2011-09, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783642243714

Contacter le vendeur

Acheter neuf

EUR 56,12

Exp�dition �EUR 17,66
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis: 9th International Symposium, Atva 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Bultan, Tevfik (Editor)/ Hsiung, Pao-ann (Editor)

Edit� par Springer-Verlag New York Inc, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 2011 edition. 546 pages. 8.43x5.85x0.73 inches. In Stock. N� de r�f. du vendeur x-3642243711

Contacter le vendeur

Acheter neuf

EUR 80,95

Exp�dition �EUR 14,25
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Technology for Verification and Analysis

Bultan, Tevfik|Hsiung, Pao-Ann

Edit� par Springer Berlin Heidelberg, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedings Unique visibility State of the art researchThis book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in. N� de r�f. du vendeur 5053547

Contacter le vendeur

Acheter neuf

EUR 48,74

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis (Paperback)

Tevfik Bultan

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Neuf Paperback

Vendeur : AussieBookSeller, Truganina, VIC, Australie

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N� de r�f. du vendeur 9783642243714

Contacter le vendeur

Acheter neuf

EUR 90,85

Exp�dition �EUR 31,46
Exp�dition depuis Australie vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Tevfik Bultan

Edit� par Springer, Berlin, Springer, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

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 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field. N� de r�f. du vendeur 9783642243714

Contacter le vendeur

Acheter neuf

EUR 79,32

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Unbekannt

Edit� par Springer-Verlag GmbH, 2011

ISBN 10 : 3642243711 ISBN 13 : 9783642243714

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. N� de r�f. du vendeur 11243617/12

Contacter le vendeur

Acheter D'occasion

EUR 38,50

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier