Search the Library Catalogue
Image from Amazon.com
Image from Google Jackets
Formal Specification, Techniques and Applications / Nimal Nissanke
Material type:
TextPublication details: Springer , 1999ISBN: - 9781852330026
- 5.131 NIS
| Item type | Current library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Reference
|
Kalaignar Centenary Library Madurai | ENGLISH-REFERENCE BOOKS | நான்காம் தளம் / Fourth floor | 005.131 NIS (Browse shelf(Opens below)) | Not for loan | 155500 |
Browsing Kalaignar Centenary Library Madurai shelves, Shelving location: நான்காம் தளம் / Fourth floor, Collection: ENGLISH-REFERENCE BOOKS Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.131 GON Mathematical Logic Through Python / | 005.131 HAM Logic And Language Models For Computer Science | 005.131 HRE Solving Problems In Scientific Computing Using Maple And Matlab | 005.131 NIS Formal Specification, Techniques and Applications / | 005.131 RIC Logic and Language Models for Computer Science (Third Edition) / | 005.132 ANA Propeller Programming: Using Assembler, Spin, and C / | 005.133 .NET ZIM Hands-On Domain-Driven Design With .Net Core |