MPG.eBooks - Search Results - "Computer Logic"

Cover Image

1

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Cover Image

2

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...Model Checking: Back and Forth between Hardware and Software -- Computational Logical Frameworks...”