//]]>
Normal View MARC View ISBD View

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: 2003
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 004.0151 M744 (Browse Shelf) Available

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

Log in to your account to post a comment.

Languages: 
English |
العربية