Formal Methods for Industrial Critical Systems
- A Survey of Applications
- Indbinding:
- Paperback
- Sideantal:
- 292
- Udgivet:
- 12. marts 2013
- Størrelse:
- 155x234x17 mm.
- Vægt:
- 500 g.
- 2-3 uger.
- 26. november 2024
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.
- 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.
Beskrivelse af Formal Methods for Industrial Critical Systems
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.
Brugerbedømmelser af Formal Methods for Industrial Critical Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Formal Methods for Industrial Critical Systems findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621