Beckert, Bernhard.
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / [electronic resource] : edited by Bernhard Beckert, Reiner Hähnle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4966 0302-9743 ; . - Lecture Notes in Computer Science, 4966 .
9783540791249
10.1007/978-3-540-79124-9 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 Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / [electronic resource] : edited by Bernhard Beckert, Reiner Hähnle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4966 0302-9743 ; . - Lecture Notes in Computer Science, 4966 .
9783540791249
10.1007/978-3-540-79124-9 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