MPG.eBooks - Search Results - "resolution analysis"

Search alternatives:
"resolution analysis" » "multiresolution analysis", "pollution analysis", "evolutionary analysis"

Cover Image

1

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Based on Concurrent Constraint Resolution -- Analysis of Compiled Code: A Prototype Formal Model...”