Name: Using Event-B for Critical Device Software Systems
Price: 987.95 DKK
Availability: InStock
Author: Neeraj Kumar Singh
ISBN: 9781447157908

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

Du sparer 0% ift. normalprisen Spar 0%

Bag om Using Event-B for Critical Device Software Systems

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

Vis mere

Sprog:
Engelsk

ISBN:
9781447157908

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
326

Udgivet:
17. august 2013

Udgave:
2013

Størrelse:
235x155x18 mm.

Vægt:
5212 g.

Leveringstid: 2-15 hverdage.
Forventet levering: 10. december 2024

På lager

Normalpris

BLACK NOVEMBER
987,95 kr. + Fragt
~~987,95 kr.~~

Medlemspris

937,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Neeraj Kumar Singh

Vis alle bøger af Neeraj Kumar Singh

Beskrivelse af Using Event-B for Critical Device Software Systems

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

Brugerbedømmelser af Using Event-B for Critical Device Software Systems

Andre købte også..

Find lignende bøger

Bogen Using Event-B for Critical Device Software Systems findes i følgende kategorier:

Business og læring > Computer og IT

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

Bag om Neeraj Kumar Singh

Beskrivelse af Using Event-B for Critical Device Software Systems

Brugerbedømmelser af Using Event-B for Critical Device Software Systems

Gør som tusindvis af andre bogelskere