Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Books - Springer London Ltd - 9781447152590 - July 2, 2013
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

Price
€ 127.99

Ordered from remote warehouse

Expected delivery Dec 9 - 18
Christmas presents can be returned until 31 January

Our customers say:

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

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).

346 pages, 45 black & white illustrations, 20 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 2, 2013
ISBN13 9781447152590
Publishers Springer London Ltd
Pages 326
Dimensions 155 × 235 × 20 mm   ·   707 g
Language English  
Show all

More by Neeraj Kumar Singh

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