Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1) > Pre- And Post-Conditions (F.3.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Pre- And Post-Conditions (F.3.1...)": Date Reviewed   Invariance and non-determinacy Dijkstra E. (ed)  Mathematical logic and programming languages (, London, UK, 1651985.  Type: Proceedings The first half of this paper is an interesting introduction into the history and problems of proving correctness of concurrent systems. Dijkstra gives the reader insight into the early days of computing and non-determinacy.... May 1 1986
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy