Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658206
Price: 58.67 EUR
Availability: InStock
Author: Martin Gogolla
ISBN: 9783642217678

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla

Burkhart Wolff

Language

English

Book Paperback

Libristo code: 01658206

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2011

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proo... Full description

Libristo code: 01658206

142 b

58.67 €

Low in stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Erkenntnisse und Beschlüsse des Verfassungsgerichtshofes Verfassungsgerichtshof

Book

328.25 €

Die Frau ohne Schatten Hugo Von Hofmannsthal

Paperback

18.33 €

10 Ideas claves : el aprendizaje creativo Josep Alsina

Paperback

27.86 €

Séries Charlotte Blum

Hardback

23.00 €

Galère Football Club Romain Molina

Paperback

10.94 €

Resonancias Tectonicas Pablo Hermansen

Adobe ePub DRM

17.62 €

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.