Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Books - Springer London Ltd - 9781447157908 - July 7, 2015
In case cover and title do not match, the title is correct

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Normal price
CA$ 244.64
Price
CA$ 151.71
You save
38%

Ordered from remote warehouse

Expected delivery Jul 1 - 9

Our customers say:

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

Also available as:

Using Event-B for Critical Device Software Systems 2013 edition

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 7, 2015
Original release date 2013
ISBN13 9781447157908
Publishers Springer London Ltd
Pages 326
Dimensions 155 × 235 × 18 mm   ·   485 g
Language English  
Show all

More by Neeraj Kumar Singh

See all of Neeraj Kumar Singh ( e.g. Paperback Book and Hardcover Book )