Library of American University of Madaba

Normal View MARC View ISBD View

Monin, Jean Francois, 1960-

Understanding formal methods / written and translated by Jean Franccois Monin ; translation editor, Michael G. Hinchey. - London : Springer, 2003. - xv, 275 p. ; 24 cm.

"... published with the help of the French Ministère de la culture--Centre national du livre."

Includes bibliographical references (p. [255]-267) and index.

ISBN: 1852332476 (alk. paper) 9781852332471

Subjects--Topical Terms:
Formal methods (Computer science)

LC Class. No.: QA76.6 / .M6513 2003

Dewey Class. No.: 004.0151 / M744