Image from Amazon.com
Understanding formal methods / by Monin, Jean François,
Material type:
TextPublication details: London ; | New York : Springer, 2003Description: xv, 275 p. ; 24 cmISBN: - 1852332476 (alk. paper)
- Introduction aux méthodes formelles.
| Item type | Current library | Home library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
MATH-LiB General Stack | MATH-LiB | NFIC | 005.131 P032 (Browse shelf(Opens below)) | Available | 195600 |
Total holds: 0
Browsing MATH-LiB shelves, Shelving location: General Stack Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
|
No cover image available | No cover image available |
|
||
| 004.69 N95 WEB empowerment book : | 005.1 P01 Introduction to algorithms | 005.13 N94 Introduction to FORTRAN for scientific computing | 005.131 P032 Understanding formal methods / | 005.133 N884 Principles of computer programming | 005.133 N898 Programming in BASIC | 005.133 P Introduction to numerical methods in C++ |
... published with the help of the French Ministère de la culture--Centre national du livre."
There are no comments on this title.
Log in to your account to post a comment.