Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / [electronic resource] :
edited by Gordon Fraser, Angelo Gargantini.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- x, 182 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 6143 0302-9743 ; .
9783642139772 (electronic bk.) 9783642139765 (paper)
Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Programming Techniques.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Science.
QA76.76.T48 / T37 2010
005.14
9783642139772 (electronic bk.) 9783642139765 (paper)
Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Programming Techniques.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Science.
QA76.76.T48 / T37 2010
005.14