Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tests and Proofs

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658206

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2011

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proo... Celý popis

Libristo kód: 01658206

136 b

1 355 Kč

Skladem u dodavatele v malém množství Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Erkenntnisse und Beschlüsse des Verfassungsgerichtshofes Verfassungsgerichtshof

Kniha

7 926 Kč

Die Frau ohne Schatten Hugo Von Hofmannsthal

Brožovaná

368 Kč

10 Ideas claves : el aprendizaje creativo Josep Alsina

Brožovaná

610 Kč

Séries Charlotte Blum

Pevná

552 Kč

Galère Football Club Romain Molina

Brožovaná

261 Kč

Resonancias Tectonicas Pablo Hermansen

Adobe ePub DRM

425 Kč

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.