Computer Aided Verification 1
bokomslag Computer Aided Verification

Computer Aided Verification

Dill David L Dill

Pocket

879:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

Andra format:

  • 2014
  • Författare: Dill David L Dill
  • Format: Pocket/Paperback
  • ISBN: 9783662194027
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Computer Aided Verification

    Computer Aided Verification

    David L Dill

    Pocket

    749:-
  2. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström-Jones

    Pocket

    119:-
  3. bokomslag Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

    Trace Theory for Automatic Hierarchic...

    David L Dill

    Pocket

    389:-
  4. bokomslag Finding My Place: One Girl's Strength at Vicksburg

    Finding My Place: One Girl's Strength...

    Margo L Dill

    Häftad

    249:-
  5. bokomslag Födelsedagen

    Födelsedagen

    Sofie Sarenbrant • Carina Bergfeldt

    Pocket

    119:-
  6. Ny
    bokomslag Jävla karlar

    Jävla karlar

    Andrev Walden

    Pocket

    69:- (110:-)
  7. Hitster Music Card Game (Svenska)

    Hitster Music Card Game (Svenska)

    Spel, Hitster

    Personalens favorit!

    349:-
  8. Hitster 2 - Förläng Festen

    Hitster 2 - Förläng Festen

    Spel, Hitster

    Personalens favorit!

    349:-
  9. bokomslag Dit floden för dig

    Dit floden för dig

    Shelley Read

    Pocket

    119:-
  10. Ny
    bokomslag Reckless

    Reckless

    Lauren Roberts

    Pocket

    199:-