Data refinement : model-oriented proof methods and their comparison
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
Bok Engelsk 1998 W.-P. de Roever
| Utgitt | Cambridge : Cambridge University Press , c1998
|
|---|---|
| Omfang | xi, 423 s. : ill.
|
| Emner | |
| ISBN | 0521641705
|
