Vdm '90 vdm and z - formal methods in software development (e-book)
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science (LNCS) ; v.428Publication details: Berlin Springer 1990ISBN: 978-3-540-47006-9Online resources: Click here to access online
| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Link to resource | Not for loan | EBK8857 |
Total holds: 0
There are no comments on this title.