Gå direkte til innholdet
Specification Case Studies in RAISE
Spar

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.
Opplag
2002 ed.
ISBN
9781852333591
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.2.2002
Antall sider
405