Understanding formal methods /

Bibliographic Details
Main Author: Monin, Jean François, 1960-
Other Authors: Hinchey, Michael G. (Michael Gerard), 1969-
Format: Book
Language:English
Published: London ; New York : Springer, [2003]
Subjects:
Description
Item Description:"... published with the help of the French Ministère de la culture--Centre national du livre."
Physical Description:xv, 275 pages ; 24 cm.
Bibliography:Includes bibliographical references (pages [255]-267) and index.
ISBN:1852332476 (alk. paper)