Koha online

Your cart is empty.
Normal view MARC view ISBD view

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 software
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item 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.

Log in to your account to post a comment.