Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - Books - Springer London Ltd - 9781852333591 - February 8, 2002
In case cover and title do not match, the title is correct

H Dang Van
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) 2002 edition

Price
€ 89.99

Ordered from remote warehouse

Expected delivery Jul 31 - Aug 10
Get notified about new H Dang Van releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

424 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 8, 2002
ISBN13 9781852333591
Publishers Springer London Ltd
Pages 405
Dimensions 155 × 235 × 21 mm   ·   589 g
Language English  
Editor Dang Van, Hung
Editor George, Chris
Editor Janowski, Tomasz
Editor Moore, Richard

More from the same publisher

See all of H Dang Van ( e.g. Paperback Book )