Tests and Proofs
Bernhard K. Aichernig, Carlo A. Furia
Tests and Proofs - Springer 2016 - Lecture Notes in Computer Science .
9783319411354
Software Engineering; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling
Tests and Proofs - Springer 2016 - Lecture Notes in Computer Science .
9783319411354
Software Engineering; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling