
ModelEd, TestEd, TrustEd
by Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Computer science, mathematicsComputer simulationLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library

by Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Book data: Open Library