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 |
Browsing Central Library, BUET Shelves , Shelving location: Circulation section Close shelf browser
No cover image available No cover image available | ||||||||
001.6425/BRO/1984 Starting with UNIX | 001.6425/CIA/1986 Ask Byte | 001.6425/CLA/1993 Algebraic specification techniques and tools for software development | 001.6425/CLA/1993 Algebraic specification techniques and tools for software development | 001.6425/CLA/1993 Algebraic specification techniques and tools for software development | 001.6425/COM/1986 Compiler construction | 001.6425/DAH/1984 Byte guide to CP/M-86 |
Includes bibliographies
There are no comments for this item.