Gå direkt till innehållet
Specification Case Studies in RAISE
Spara

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.
Upplaga
2002 ed.
ISBN
9781852333591
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2002-02-08
Sidor
405