Image from Amazon.com
Specification in B: An introduction using the B toolkit
Material type:
TextPublication details: Imperial College Press London 1996Description: 242ISBN: - 9781860940187
- 005.1 LAN/S
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Archives
|
Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre | Software Engineering | 005.1 LAN/S (Browse shelf(Opens below)) | Available | 1469 |
Browsing Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre shelves, Collection: Software Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
|
||
| 005.1 KER/P The practice of programming: Simplicity clarity generality | 005.1 KNU/A.2;1 Art of computer programming: Seminumerical algorithms. Vol 2 | 005.1 KNU/A.3;1 Art of computer programming Sorting and searching. Vol 3 | 005.1 LAN/S Specification in B: An introduction using the B toolkit | 005.1 MAL/F Fundamentals of software engineering |
There are no comments on this title.
Log in to your account to post a comment.