Image from Amazon.com
SPECIFICATION IN B : AN INTRODUCTION USING THE B TOOLKIT
Material type:
TextPublication details: Imperial College Press, London 1996Description: xi,242ISBN: - 1860940080
- 005.1015113 L285S
| Item type | Current library | Collection | Call number | URL | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.1015113 L285S (Browse shelf(Opens below)) | Link to resource | Available | A124005 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 YO88D DECLINE AND FALL OF THE AMERICAN PROGRAMMER | 005.1 YO88R RISE AND RESURRECTION OF THE AMERICAN PROGRAMMER | 005.1 Z61s Software design methodology | 005.1015113 L285S SPECIFICATION IN B | 005.1015113 N358L2 LOGIC FOR APPLICATIONS | 005.102184 M784R THE ROAD MAP TO SOFTWARE ENGINEERING | 005.103 En19 Encyclopedia of software engineering [2v.] |
Includes Index
There are no comments on this title.
Log in to your account to post a comment.