Siirry suoraan sisältöön
Tests and Proofs
Tallenna

Tests and Proofs

Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.
Alaotsikko
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Painos
2010 ed.
ISBN
9783642139765
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
17.6.2010
Sivumäärä
174