Yazar
achim d brucker
2 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Achim D. Brucker · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Simulation and Modeling / Logic design
Tests and Proofs
Lecture Notes in Computer Science
Achim D. Brucker · Springer
187 sayfa · 2012
Software engineering / Testing / Computer software / Congresses / Verification