Software Specification
A Comparison of Formal Methods
Inbunden, Engelska, 1995
469 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
- FormatInbunden
- SpråkEngelska
- Antal sidor200
- FörlagIntellect
- ISBN9781567500332