Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering - Martin Gogolla - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642217678 - 2011. gada 22. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Martin Gogolla
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Martin Gogolla izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Publisher Marketing: Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2011. gada 22. jūnijs
ISBN13 9783642217678
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 205
Izmēri 155 × 235 × 13 mm   ·   340 g
Valoda Franču  
Redaktors Gogolla, Martin
Redaktors Wolff, Burkhart

Vairāk no Martin Gogolla

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Martin Gogolla