Software Specification A Comparison of Formal Methods
-
- Englisch ausgewählt
Fr. 43.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.05.1995
Verlag
Intellect Books - IPSUKSeitenzahl
200
Maße (L/B/H)
22.9/15.2/1.1 cm
Gewicht
276 g
Sprache
Englisch
ISBN
978-1-56750-034-9
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.