Gurevich, Yuri.
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / [electronic resource] : edited by Yuri Gurevich, Bertrand Meyer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4454 0302-9743 ; . - Lecture Notes in Computer Science, 4454 .
9783540737704
10.1007/978-3-540-73770-4 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
System Performance and Evaluation.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Computers and Society.
QA76.9.E94
004.24
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / [electronic resource] : edited by Yuri Gurevich, Bertrand Meyer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4454 0302-9743 ; . - Lecture Notes in Computer Science, 4454 .
9783540737704
10.1007/978-3-540-73770-4 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
System Performance and Evaluation.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Computers and Society.
QA76.9.E94
004.24