Tests and proofs third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
Tests and proofs third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / [electronic resource] :
edited by Catherine Dubois.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 168 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5668 0302-9743 ; .
9783642029493 (electronic bk.)
Computer software--Testing--Congresses.
Computer software--Reliability--Congresses.
Computer software--Quality control--Congresses.
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Computers and Society.
QA76.76.T48 / T37 2009
005.14
9783642029493 (electronic bk.)
Computer software--Testing--Congresses.
Computer software--Reliability--Congresses.
Computer software--Quality control--Congresses.
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Computers and Society.
QA76.76.T48 / T37 2009
005.14