Software Specification
A Comparison of Formal Methods
Häftad, Engelska, 1995
379 kr
Tillfälligt slut
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
Produktinformation
- Utgivningsdatum1995-05-01
- FormatHäftad
- SpråkEngelska
- Antal sidor200
- FörlagIntellect
- ISBN9781567500349