Image from Amazon.com
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt
Material type:
TextSeries: Cambridge tracts in theoretical computer science; 47Publication details: Cambridge, UK: Cambridge University Press, 1998Description: xi, 423 p.: ill.; 24 cmISBN: - 0521641705
- 9780521641708 (hbk.)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.9.C65 R64 1998 (Browse shelf(Opens below)) | 1 | Available | 0000001363 |
Includes bibliographical references and index