Applications Of Formal Methods (Prentice-hall International Series in Computer Science)

Hinchey; Bowen

 
9780133669497: Applications Of Formal Methods (Prentice-hall International Series in Computer Science)

Synopsis

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

"synopsis" may belong to another edition of this title.