Computer Aided Verification 1
bokomslag Computer Aided Verification

Computer Aided Verification

Dill David L Dill

Pocket

899:-

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:

  • 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

    759:-
  2. bokomslag Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

    Trace Theory for Automatic Hierarchic...

    David L Dill

    Pocket

    749:-
  3. bokomslag Finding My Place: One Girl's Strength at Vicksburg

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

    Margo L Dill

    Häftad

    279:-
  4. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  5. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Hitster

    299:- (349:-)
  6. Hitster 2 - Förläng Festen

    Hitster 2 - Förläng Festen

    Spel, Hitster

    Personalens favorit!

    299:- (349:-)
  7. Ny
    bokomslag Stay iconic : överlevnadsguide för tjejer

    Stay iconic : överlevnadsguide för tj...

    Tilda Törnqvist

    Kartonnage

    299:-
  8. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    69:- (119:-)
  9. Sommarskuggan

    Sommarskuggan

    Spel, Tactic

    369:-
  10. bokomslag Stora Minecraft-inspirationsboken

    Stora Minecraft-inspirationsboken

    Thomas McBrien

    Inbunden

    269:-