Understanding formal methods / 
by Monin, Jean François, 
 - London ; | New York :  Springer,  2003 
 - xv, 275 p. ;  24 cm. 
<br/><br/> ... published with the help of the French Ministère de la culture--Centre national du livre." 
<br/><br/><label>ISBN: </label>1852332476 (alk. paper)