Library Of American University Of Madaba
Your cart is empty.
Understanding formal methods /
by Monin, Jean Francois,
, Introduction aux methodes formelles. Authors: Hinchey, Michael G.%(Michael Gerard),%1969-%translator Published by : Springer, (London :) Physical details: xv, 275 p. ; 24 cm. ISBN: 1852332476 Subject(s): Formal methods (Computer science) Year: 2003Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 004.0151 M744 (Browse Shelf) | Available |
Browsing AUM Main Library Shelves, Shelving Location: English Collections Hall Close Shelf Browser
 |
 |
||||||
| 004.0151 K792Information algebras : | 004.0151 K792Information algebras : | 004.0151 K792Information algebras : | 004.0151 M744Understanding formal methods / | 004.0151 S989Mathematical foundations of computer science 2005 : | 004.0151 S989Mathematical foundations of computer science 2005 : |
"... 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 for this item.