Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tests and Proofs

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

Język

Angielski

Książka Miękka

Kod Libristo: 01658206

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2011

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proo... Cały opis

Kod Libristo: 01658206

142 b

Gwarancja
najlepszej
ceny ▸

250.15 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 9-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Erkenntnisse und Beschlüsse des Verfassungsgerichtshofes Verfassungsgerichtshof

Książka

1 398.58 zł

Die Frau ohne Schatten Hugo Von Hofmannsthal

Miękka

68.92 zł

10 Ideas claves : el aprendizaje creativo Josep Alsina

Miękka

118.75 zł

Séries Charlotte Blum

Twarda

98.24 zł

Galère Football Club Romain Molina

Miękka

46.89 zł

Resonancias Tectonicas Pablo Hermansen

Adobe ePub DRM

75.19 zł

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.