Understanding formal methods / written and translated by Jean Fran�cois Monin ; translation editor, Michael G. Hinchey.
Publisher: London ; New York : Springer, c2003Description: xv, 275 p. ; 24 cmISBN: 1852332476 (alk. paper)Subject(s): Formal methods (Computer science)DDC classification: 005.131,MON Online resources: Publisher description | Table of contents only
Contents:
Motivation (Page-1), Introductory Exercise (Page-15), A Presentation of Logical Tool (Page-35), Hoare Logic (Page-65) Classical Logic (Page-75) Set-theoretic Specifications (Page-95) Set Theory (Page-111), Behavioral Specifications (Page-125) Deduction System (Page-149) Abstract Data Types and Algebraic Specification (Page-189) Type Systems and Constructive Logics (Page-203) Using Type Theory (Page-233).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.133,MON (Browse shelf) | Link to resource | Available | Almirah No.5, Shelf No.1 | MCS36870 | ||
|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | Reference | 005.131,MON (Browse shelf) | Link to resource | Available | Almirah No.17, Shelf No.6 | MCS37488 |
Total holds: 0
Browsing Military College of Signals (MCS) shelves, Shelving location: General Stacks Close shelf browser
| No cover image available | No cover image available | No cover image available | ||||||
| 005.133,INT Introduction to chill the CCITT high level language / | 005.133,KRU Data structures and program design / | 005.133,LAF Object- oriented programming in C++ / | 005.133,MON Understanding formal methods / | 005.133,ROD Oracle : a database developer's guide / | 005.133,WEA ONE DAY COURSES MICROSOFT FRONTPAGE 2000 (Include CD) / | 005.1,ABB AirVault / |
Motivation (Page-1), Introductory Exercise (Page-15), A Presentation of Logical Tool (Page-35), Hoare Logic (Page-65) Classical Logic (Page-75) Set-theoretic Specifications (Page-95) Set Theory (Page-111), Behavioral Specifications (Page-125) Deduction System (Page-149) Abstract Data Types and Algebraic Specification (Page-189) Type Systems and Constructive Logics (Page-203) Using Type Theory (Page-233).
Click on an image to view it in the image viewer
There are no comments on this title.