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: Reading section Close shelf browser
No cover image available No cover image available | ||||||||
001.6425/AHO/1986 Compilers, principles, techniques, and tools | 001.6425/BER/1986 Illustrated LOTUS 1-2-3 book | 001.6425/BOS/1991 Hardware and software of personal computers | 001.6425/CLA/1993 Algebraic specification techniques and tools for software development | 001.6425/HOO/1998 Authorware | 001.6425/HOO/1998 Authorware | 001.6425/LIS/1979 Fundamentals of operating systems |
Includes bibliographies
There are no comments for this item.