Dubois, Catherine.
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. - digital. - Lecture Notes in Computer Science, 5668 0302-9743 ; . - Lecture Notes in Computer Science, 5668 .
9783642029493
10.1007/978-3-642-02949-3 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 Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / [electronic resource] : edited by Catherine Dubois. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5668 0302-9743 ; . - Lecture Notes in Computer Science, 5668 .
9783642029493
10.1007/978-3-642-02949-3 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