MPG.eBooks - Search Results - (("resolution analysis") OR ("multiresolution analysis"))

Search alternatives:
"resolution analysis" » "pollution analysis", "evolutionary analysis"
"multiresolution analysis" » "multipollution analysis", "multievolutionary 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...”