Gå direkte til innholdet
Tests and Proofs
Spar

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.
Undertittel
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Opplag
2010 ed.
ISBN
9783642139765
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
17.6.2010
Antall sider
174