Applications of formal methods /

Bibliographic Details
Other Authors: Hinchey, Michael Gerard, 1969- (ed.,), Bowen, Jonathan Peter, 1956- (ed.,)
Format: Book
Language:English
Published: London : Prentice-Hall, 1995.
Series:Prentice-Hall international series in computer science
Subjects:
Description
Item Description:La biblioteca posee 2 ej.
Physical Description:xvii, 447 p. : il. ; 25 cm.
ISBN:0133669491