Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt; with the assistance of Karl-Heinz Buth... [et al.]
Main Author Roever, Willem-Paul de Coauthor Engelhardt, Kai Secondary Author Buth, Karl-Heinz Country Reino Unido. Publication Cambridge : Cambridge University Press, 1998 Description XI, 423 p. : il. ; 24 cm Series Cambridge tracts in theoretical computer science , 47) ISBN 0-521-64170-5 CDU 519.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109463 | Available | 261810 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.