
Tests and Proofs
by Catherine Dubois, Burkhart Wolff
Computer scienceSoftware engineeringLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library

by Catherine Dubois, Burkhart Wolff
Book data: Open Library