Siirry suoraan sisältöön
Specification Case Studies in RAISE
Tallenna

Specification Case Studies in RAISE

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.
Painos
2002 ed.
ISBN
9781852333591
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
8.2.2002
Sivumäärä
405