Gå direkt till innehållet
Tests and Proofs
Spara

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.
Undertitel
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Upplaga
2010 ed.
ISBN
9783642139765
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-06-17
Sidor
174