Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Using Event-B for Critical Device Software Systems 1

bokomslag Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Keith Glover

Häftad

819:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

334 sidor

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