Formal Specification, Techniques and Applications by Nissanke, Nimal
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 005.131 NIS.
Book details
- Author
- Nissanke, Nimal
- Publisher
- Springer
- Year
- 1999
- ISBN
- 9781852330026
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 005.131 NIS | 155500 | Reference only (read in the library) |
Next to this on the shelf
- Durable-Strategies Dynamic Games, Theory, Solution Techniques And Applications 005.13 ZIM
- Mathematical Logic Through Python 005.131 GON
- Logic And Language Models For Computer Science 005.131 HAM
- Solving Problems In Scientific Computing Using Maple And Matlab 005.131 HRE
- Formal Specification, Techniques and Applications (this book)
- Logic and Language Models for Computer Science (Third Edition) 005.131 RIC
- Propeller Programming: Using Assembler, Spin, and C 005.132 ANA
- Hands-On Domain-Driven Design With .Net Core 005.133 .NET ZIM
- Java In Depth 005.133 AGA