Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Tests and Proofs

Name: Tests and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658206
Price: 22169 HUF
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

152 b

22 169 Ft

Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Erkenntnisse und Beschlüsse des Verfassungsgerichtshofes Verfassungsgerichtshof

Book

115 688 Ft

Die Frau ohne Schatten Hugo Von Hofmannsthal

Paperback

6 231 Ft

10 Ideas claves : el aprendizaje creativo Josep Alsina

Paperback

9 808 Ft

Séries Charlotte Blum

Hardback

8 128 Ft

Galère Football Club Romain Molina

Paperback

3 884 Ft

Resonancias Tectonicas Pablo Hermansen

Adobe ePub DRM

6 231 Ft

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.