1 option
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [and others].
LIBRA QA76.9.C65 R64 1998
Available from offsite location
- Format:
- Book
- Author/Creator:
- Roever, W.-P. de, 1943-
- Series:
- Cambridge tracts in theoretical computer science ; 47.
- Cambridge tracts in theoretical computer science ; 47
- Language:
- English
- Subjects (All):
- Computer simulation.
- Data structures (Computer science).
- Computer programs--Verification.
- Computer programs.
- Physical Description:
- xi, 423 pages : illustrations ; 24 cm.
- Place of Publication:
- Cambridge, UK ; New York, NY : Cambridge University Press, 1998.
- Notes:
- Includes bibliographical references (pages 404-418) and index.
- ISBN:
- 0521641705
- OCLC:
- 39217572
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.