
Foundations of Software Science and Computation Structures
by Christel Baier, Ugo Dal Lago
Computer scienceSoftware engineeringLogic
Writing a summary for young readers…
For young readers
Book data: Open Library

by Christel Baier, Ugo Dal Lago
Book data: Open Library