Gå direkte til innholdet
Tests and Proofs
Spar

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.
Undertittel
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
ISBN
9783642304729
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
16.5.2012
Antall sider
177