Concurrency, Compositionality, and Correctness
by Dennis Dams
Logic designComputer scienceSoftware engineeringComputer softwareParallel programming (Computer science)Computer programsCorrectness
Writing a summary for young readers…
For young readers
Book data: Open Library