De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

af Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems af Neeraj Kumar Singh
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:
  • 9781447152590
  • Indbinding:
  • Hardback
  • Sideantal:
  • 326
  • Udgivet:
  • 20. juni 2013
  • Udgave:
  • 2013
  • Størrelse:
  • 234x156x20 mm.
  • Vægt:
  • 6387 g.
  • 8-11 hverdage.
  • 20. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: