Algebraic specification techniques and tools for software development the ACT approach
by Classen, Ingo; Ehrig, Hartmut; Wolz, Dietmar.
Series: Amast series in computing.Publisher: Singapore World Scientific 1993Edition: 1st ed.Description: xvi,237p. ill. 23 cm.ISBN: 9810212275.Subject(s): Computer softwareItem type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Book | Central Library, BUET Circulation section | 001.6425/CLA/1993 (Browse shelf) | 1 | Available | 87625 | |
General Book | Central Library, BUET Circulation section | 001.6425/CLA/1993 (Browse shelf) | 2 | Available | 88575 | |
General Book | Central Library, BUET Circulation section | 001.6425/CLA/1993 (Browse shelf) | 3 | Available | 87624 | |
Reading Item | Central Library, BUET Reading section | 001.6425/CLA/1993 (Browse shelf) | 4 | Available | 88576 |
Includes bibliographies
There are no comments for this item.