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
Íkr 12,949
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 10 - 18

Our customers say:

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

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

Mere med samme udgiver

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