Industrial-strength formal methods in practice /
Hinchey, Michael G.
Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.). - Berlin ; New York : Springer, c1999. - xvi, 400 p. : ill. ; 24 cm. - Formal approaches to computing and information technology .
Includes bibliographical references and index.
1852336404 (alk. paper)
99033669
Formal methods (Computer science)
537.54 PRA 2003
Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.). - Berlin ; New York : Springer, c1999. - xvi, 400 p. : ill. ; 24 cm. - Formal approaches to computing and information technology .
Includes bibliographical references and index.
1852336404 (alk. paper)
99033669
Formal methods (Computer science)
537.54 PRA 2003