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
... 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.