Search for Author All Reviews
	Ralph-Johan, Back     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Transactions on computational systems biology XI Priami C., Back R., Petre I. Springer-Verlag, New York, NY, 2009.  Type: Divisible Book If you are not already familiar with applying formal methods to biological systems, avoid this book. It is a multidisciplinary collection of research papers, by researchers, for researchers. The papers target specialists in particular ...... Nov 5 2010     Reasoning about pointers in refinement calculus Back R., Fan X., Preoteasa V.  APSEC ’04 (Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference,Dec 10-12, 2003) 4252003.  Type: Proceedings Back, Fan, and Preoteasa develop a model for pointer programs suitable for refinement calculus, in the style of Back and von Wright [1]. This model uses a language that contains the basic imperative programming constructs, as well as o...... Oct 4 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy