Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claèn, Hartmut Ehrig, Dietmar Wolz
Main Author Classen, Ingo Coauthor Ehrig, HartmutDietmar, Wolz Country Singapura. Publication Singapore : World Scientific, cop. 1994 Description XVI, 237 p. : il. ; 23 cm Series AMAST series in computing , 1 ISBN 981-02-1227-5 CDU 681.3.06
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 681.3.06 - C | Available | 124324 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.