Symbolic Model Checking 1
bokomslag Symbolic Model Checking
Vetenskap & teknik

Symbolic Model Checking

Kenneth McMillan

Inbunden

1149:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

Andra format:

  • 1993
  • Författare: Kenneth McMillan
  • Format: Inbunden
  • ISBN: 9780792393801
  • Språk: Engelska
  • Utgivningsdatum: 1993-07-31
  • Förlag: Kluwer Academic Publishers

Du kanske gillar

  1. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Xavier Rival Kenneth McMillan

    Pocket

    749:-
  2. bokomslag Symbolic Model Checking

    Symbolic Model Checking

    Kenneth L McMillan

    Pocket

    719:-
  3. bokomslag Demon Copperhead

    Demon Copperhead

    Barbara Kingsolver

    Pocket

    79:- (125:-)
  4. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)
  5. bokomslag Iliad & The Odyssey (Barnes & Noble Collectible Editions)

    Iliad & The Odyssey (Barnes & Noble C...

    Homer

    Inbunden

    579:-
  6. Ny
    bokomslag Sommarhemmet : inreda, laga, fixa & odla

    Sommarhemmet : inreda, laga, fixa & odla

    Sofia Wood • Elsa Billgren

    Inbunden

    349:-
  7. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    125:-
  8. bokomslag Sunrise on the Reaping (svensk utgåva)

    Sunrise on the Reaping (svensk utgåva)

    Suzanne Collins

    Danskband/flex

    249:- (299:-)
  9. bokomslag Svensk Lag 2025

    Svensk Lag 2025

    Klotband

    1279:-
  10. bokomslag Väninnorna på Nordiska Kompaniet

    Väninnorna på Nordiska Kompaniet

    Ruth Kvarnström-Jones

    Storpocket

    139:- (179:-)

Andra av samma författare

  1. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Xavier Rival Kenneth McMillan

    Pocket

    749:-