Gordon Fraser, Angelo Gargantini — Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Авторы: Gordon Fraser, Angelo Gargantini
Аннотация:
This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in M?laga, Spain, in July 2010.
|
|
О проекте