bokomslag Using Event-B for Critical Device Software Systems
Data & IT

Using Event-B for Critical Device Software Systems

Keith Glover

Häftad

889:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 334 sidor
  • 2017
  • Författare: Keith Glover
  • Format: Häftad
  • ISBN: 9781981128860
  • Språk: Engelska
  • Antal sidor: 334
  • Utgivningsdatum: 2017-08-01
  • Förlag: Createspace Independent Publishing Platform