Gå direkt till innehållet
Tests and Proofs
Spara

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.
Undertitel
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
ISBN
9783642304729
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-05-16
Sidor
177