Current Trends in Concurrency: Overviews and Tutorials
Book information
Similar books
The Design of Well-Structured and Correct Programs
1978 · PDF
Drawing Programs: The Theory and Practice of Schematic Functional Programming
2010 · PDF
Beauty is our business: a birthday salute to Edsger W. Dijkstra
1990 · DJVU
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
1989 · DJVU
Drawing Programs: The Theory and Practice of Schematic Functional Programming
2010 · PDF
Abstraction, Refinement and Proof for Probabilistic Systems
2005 · PDF
Funtional Programming Languages in Education: First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings
1995 · PDF
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
1994 · PDF