Tests and Proofs: 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings - Couverture souple

9783642217678: Tests and Proofs: 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Couverture souple

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Afficher les exemplaires de cette �dition comportant l'ISBN

2 D'occasion

De EUR 61,06

4 Neuf

De EUR 64,87

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.

The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.

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

�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'�dition: 2011
Langue: anglais
ISBN 10: 3642217672
ISBN 13: 9783642217678
Reliure: Broch�
Nombre de pages: 215
�diteur: Gogolla Martin, Wolff Burkhart
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 : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 61,06

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

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 64,87

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

Ajouter au panier

R�sultats de recherche pour Tests and Proofs: 5th International Conference, Tap...

Image fournie par le vendeur

Tests and Proofs : 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Gogolla, Martin (EDT); Wolff, Burkhart (EDT)

Edit� par Springer, 2011

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 15478655

Contacter le vendeur

Acheter D'occasion

EUR 61,06

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tests and Proofs : 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Gogolla, Martin (EDT); Wolff, Burkhart (EDT)

Edit� par Springer, 2011

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 64,87

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tests and Proofs (Paperback)

Martin Gogolla

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

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

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 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783642217678

Contacter le vendeur

Acheter neuf

EUR 67,21

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Tests and Proofs: 5th International Conference, Tap 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Gogolla, Martin (Editor)/ Wolff, Burkhart (Editor)

Edit� par Springer-Verlag New York Inc, 2011

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 2011 edition. 204 pages. 9.00x6.00x0.50 inches. In Stock. N� de r�f. du vendeur x-3642217672

Contacter le vendeur

Acheter neuf

EUR 77,20

Exp�dition �EUR 11,67
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Tests and Proofs

Gogolla, Martin|Wolff, Burkhart

Edit� par Springer Berlin Heidelberg, 2011

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

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. up-to-date resultsfast track conference proceedingsstate-of-the-art reportThis book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July . N� de r�f. du vendeur 5052664

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

Tests and Proofs : 5th International Conference, TAP 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Unbekannt

Edit� par Springer-Verlag GmbH, 2011

ISBN 10 : 3642217672 ISBN 13 : 9783642217678

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter D'occasion

EUR 42,74

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Tests and Proofs: 5th International Conference, Tap...

Tests and Proofs: 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings - Couverture souple

Synopsis

R�sultats de recherche pour Tests and Proofs: 5th International Conference, Tap...

Tests and Proofs : 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Acheter D'occasion

Tests and Proofs : 5th International Conference, Tap 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Acheter neuf

Tests and Proofs (Paperback)

Acheter neuf

Tests and Proofs: 5th International Conference, Tap 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Acheter neuf

Tests and Proofs

Acheter neuf

Tests and Proofs : 5th International Conference, TAP 2011, Z�rich, Switzerland, June 30 - July 1, 2011, Proceedings

Acheter D'occasion