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

Specification of Software Systems

sidottu, 2011
englanti
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
9780857292766
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
28.3.2011
Sivumäärä
646