Symbolic Model Checking 1
bokomslag Symbolic Model Checking
Vetenskap & teknik

Symbolic Model Checking

Kenneth McMillan • Kenneth L McMillan • Kenneth L McMillan

Inbunden

1149:-

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:-

Andra format:

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

Du kanske gillar

  1. bokomslag Symbolic Model Checking

    Symbolic Model Checking

    Kenneth L McMillan

    Pocket

    719:-
  2. bokomslag Howls From the Dark Ages

    Howls From the Dark Ages

    P L McMillan, Solomon Forse, P L McMillan

    Pocket

    419:-
  3. bokomslag Sisters of the Crimson Vine

    Sisters of the Crimson Vine

    P L McMillan, P L McMillan, P L McMillan

    Pocket

    259:-
  4. bokomslag Colors of the Sea

    Colors of the Sea

    Wade McMillan, Wade McMillan, Wade McMillan

    Pocket

    399:-
  5. bokomslag History of the Restoration Movement in Illinois in the 19th Century

    History of the Restoration Movement i...

    James L McMillan, Thomas H Olbricht, James L McMillan, Thomas H Olbricht, Tbd

    Pocket

    669:-
  6. bokomslag Contemporary Issues in Financial Institutions and Markets

    Contemporary Issues in Financial Inst...

    John Wilson, Barbara Casu, David McMillan

    Inbunden

    2709:-
  7. bokomslag Concise Oxford Dictionary of Politics and International Relations

    Concise Oxford Dictionary of Politics...

    Garrett W Brown, Iain McLean, Alistair McMillan, Iain McLean

    Pocket

    249:-
  8. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Xavier Rival Kenneth McMillan

    Pocket

    749:-
  9. bokomslag Cricket, Capitalism and Class

    Cricket, Capitalism and Class

    Chris McMillan, Chris McMillan, Chris McMillan

    Inbunden

    2909:-
  10. bokomslag Ocean Animals ABC

    Ocean Animals ABC

    Wade McMillan, Wade McMillan, Wade McMillan

    Pocket

    349:-

Andra av samma författare

  1. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Xavier Rival Kenneth McMillan

    Pocket

    749:-