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)

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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

"Sobre este título" puede pertenecer a otra edición de este libro.