Formal Methods Fact File
Subtitle: Vdm and Z (Wiley Series in Software Engineering Practice)
Publisher: John Wiley & Sons
Published: October 1997
Language: eng
Format: Paperback
Number of pages: 402
ISBN-13: 9780471958574
Subjects: Programming - Software Development; Development; Computers - Languages / Programming; Computer Books: General; Programming Languages - General; Programming - General; High level programming languages; Computer software; Formal methods (Computer science)