Siirry suoraan sisältöön
Specification of Software Systems
Tallenna

Specification of Software Systems

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Painos
Second Edition 2011
ISBN
9781447126447
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
21.4.2013
Sivumäärä
646