bokomslag Modeling in Event-B
Data & IT

Modeling in Event-B

Jean-Raymond Abrial

Inbunden

2129:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 614 sidor
  • 2010
  • Författare: Jean-Raymond Abrial
  • Format: Inbunden
  • ISBN: 9780521895569
  • Språk: Engelska
  • Antal sidor: 614
  • Utgivningsdatum: 2010-05-13
  • Förlag: Cambridge University Press