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)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.