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 | Collection | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | NFIC | 005.131 MON (Browse shelf) | Link to resource | Checked out to Asst Prof Dr. Nauman Khan (17301-5985626-5) | 12/18/2022 | 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.5 | MCS37488 |
Total holds: 0
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.