3 books • 4 series
Functional Programming, Concurrency, Simulation and Automated Reasoning
Congenital Heart Disease (Lecture Notes in Mathematics, #693)
Specification and Analysis of Concurrent Systems (Eurographicseminars, #26) (Monographs in Theoretical Computer Science. An EATCS) (EATCS Monographs in Theoretical Computer Science, v. 26)