Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.
Material type: TextPublication details: London ; New York : Springer, c2003. Description: xv, 275 p. ; 24 cmISBN: 1852332476 (alk. paper)Uniform titles: Introduction aux méthodes formelles. English Subject(s): Computer science | Formal methods (Computer science)DDC classification: 005.131 Online resources: Click here to access online | Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
REFERENCE | Malaviya National Institute of Technology Reference | 005.131 MON (Browse shelf(Opens below)) | Not for loan | 87340 |
Browsing Malaviya National Institute of Technology shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
005.13 GHE Programming language concepts / | 005.13 RIO Genetic programming theory and practice IX / | 005.131 EIJ Computational semantics with functional programming / | 005.131 MON Understanding formal methods / | 005.133 Fortran 77 with numerical methods for engineers and scientists / | 005.133 ADA Fortran 95 handbook : | 005.133 HOL Pascal programming |
"... published with the help of the French Ministère de la culture--Centre national du livre."
Includes bibliographical references (p. [255]-267) and index.
There are no comments on this title.