Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))

by Chris George (Author), Chris George (Author), Richard Moore (Author), Tomasz Janowski (Author), Hung Dang Van (Author)

New
Illustrated
2008
$128.98

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.

Synopsis

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.

$128.98

Save:$11.82 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 424
Edition: 2002
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 9781852333
ISBN 13: 9781852333591

Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))

New

$128.98

Synopsis

$128.98

More Information