Understanding formal methods /
Monin, Jean François, 1960-
Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey. - London ; New York : Springer, c2003. - 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.
1852332476 (alk. paper)
2002030646
Formal methods (Computer science)
QA76.6 / .M6513 2003
004/.01/51
Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey. - London ; New York : Springer, c2003. - 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.
1852332476 (alk. paper)
2002030646
Formal methods (Computer science)
QA76.6 / .M6513 2003
004/.01/51