Tests and Proofs
Tests and Proofs
Burkhart Wolff
,
Catherine Dubois
Details
OL Work ID
OL20906981W
Subjects
Computer science
Software engineering
Logic, symbolic and mathematical
Find this book
Open Library