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
Browsing AUM Main Library Shelves, Shelving Location: English Collections Hall Close Shelf Browser
Previous
Next
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.

Log in to your account to post a comment.