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:	Formal methods (Computer science)

by Monin, Jean-François
Published 2003

Connect to the full text of this electronic book

eBook