Data refinement : model-oriented proof methods and their comparison

Web Site CiNii Available at 24 libraries

Bibliographic Information

Title
"Data refinement : model-oriented proof methods and their comparison"
Statement of Responsibility
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
Publisher
  • Cambridge University Press
Publication Year
  • 1998
Book size
24 cm
Series Name / No
  • : hardback

Search this Book/Journal

Notes

Includes bibliographical references (p. 404-418) and index

Related Books

See more

Details 詳細情報について

Back to top