bokomslag Model Checking
1119:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 424 sidor
  • 2018
  • Författare: Edmund M Clarke Jr, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
  • Format: Klotband
  • ISBN: 9780262038836
  • Språk: Engelska
  • Antal sidor: 424
  • Utgivningsdatum: 2018-12-04
  • Förlag: MIT Press Ltd