Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
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-Verlag Berlin Heidelberg, 2007.
- viii, 216, [1] p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4454 0302-9743 ; .
9783540737704 (electronic bk.) 9783540737698 (paper)
Computer software--Testing--Congresses.
Computer software--Reliability--Congresses.
Computer software--Quality control--Congresses.
Computer Science.
Computer Communication Networks.
Computers and Society.
Logics and Meanings of Programs.
Software Engineering.
System Performance and Evaluation.
QA76.76.T48 / T37 2007
005.14
9783540737704 (electronic bk.) 9783540737698 (paper)
Computer software--Testing--Congresses.
Computer software--Reliability--Congresses.
Computer software--Quality control--Congresses.
Computer Science.
Computer Communication Networks.
Computers and Society.
Logics and Meanings of Programs.
Software Engineering.
System Performance and Evaluation.
QA76.76.T48 / T37 2007
005.14