Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Boeken - Springer London Ltd - 9781447157908 - 7 juli 2015
Indien omslag en titel niet overeenkomen, is de titel correct

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

Prijs
€ 97,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 7 juli 2015
Datum oorspronkelijke uitgave 2013
ISBN13 9781447157908
Uitgevers Springer London Ltd
Pagina's 326
Afmetingen 155 × 235 × 18 mm   ·   522 g
Taal en grammatica Engels  

Meer door Neeraj Kumar Singh

Alles tonen

Bekijk alles van Neeraj Kumar Singh ( bijv. Paperback Book en Hardcover Book )