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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proo...
Full description
Libristo code: 01658206
?
142 b
142 b
58.51
€
Low in stock at our supplier
Shipping in 14-21 days
Up to 30 days for returns
Customers also purchased
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Tests and Proofs
Author
Martin Gogolla, Burkhart Wolff
Language
English
English
Binding
Book - Paperback
Date of issue
2011
Number of pages
205
EAN
9783642217678
ISBN
3642217672
Libristo code
01658206
Weight
337
Dimensions
155 x 235 x 18
Categories
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
