Higher Order Logic and Hardware Verification 1
bokomslag Higher Order Logic and Hardware Verification
Data & IT

Higher Order Logic and Hardware Verification

T F Melham • Thomas F Melham

Inbunden

1719:-

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

  • 180 sidor
  • 2012
  • Författare: T F Melham, Thomas F Melham
  • Format: Inbunden
  • ISBN: 9780521417181
  • Språk: Engelska
  • Antal sidor: 180
  • Utgivningsdatum: 2012-04-13
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Tom Melham Joe Hurd

    Pocket

    749:-
  2. bokomslag Correct Hardware Design and Verification Methods

    Correct Hardware Design and Verificat...

    Tom Melham Tiziana Margaria

    Pocket

    749:-
  3. bokomslag Higher Order Logic and Hardware Verification

    Higher Order Logic and Hardware Verif...

    T Melham

    Pocket

    519:-
  4. bokomslag Higher Order Logic Theorem Proving and Its Applications

    Higher Order Logic Theorem Proving an...

    Juanito Camilleri Thomas F Melham

    Pocket

    719:-
  5. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)
  6. bokomslag Hembiträdet

    Hembiträdet

    Freida McFadden

    Storpocket

    139:- (179:-)
  7. bokomslag Det slutar med oss

    Det slutar med oss

    Colleen Hoover

    Pocket

    125:-
  8. Hitster Music Card Game (Svenska)

    Hitster Music Card Game (Svenska)

    Spel, Hitster

    Personalens favorit!

    379:-
  9. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Jumbo

    379:-
  10. Ny
    bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    115:-

Andra av samma författare

  1. bokomslag Higher Order Logic Theorem Proving and Its Applications

    Higher Order Logic Theorem Proving an...

    Juanito Camilleri Thomas F Melham

    Pocket

    719:-