Data refinement : model-oriented proof methods and their comparison /

Data refinement : model-oriented proof methods and their comparison /

Bibliographic Details
Main Author: Roever, W. P. de (Willem Paul)
Other Authors: Engelhardt, Kai, 1966-, Buth, Karl-Heinz
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1998.
Series:Cambridge tracts in theoretical computer science ; 47.
Subjects:
Computer simulation.
Data structures (Computer science)
Computer programs > Verification.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.9.C65 R64 1998
 
Call Number Status Get It
QA76.9.C65 R64 1998 Available