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

Tests and Proofs

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences.
Alaotsikko
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
ISBN
9783642304729
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
16.5.2012
Sivumäärä
177