New Paradigms in Computer Aided Verification 1
bokomslag New Paradigms in Computer Aided Verification
Data & IT

New Paradigms in Computer Aided Verification

Tyler Keating

Klotband

2269:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 258 sidor
  • 2023
  • Författare: Tyler Keating
  • Format: Klotband
  • ISBN: 9781639896905
  • Språk: Engelska
  • Antal sidor: 258
  • Utgivningsdatum: 2023-09-26
  • Förlag: States Academic Press

Du kanske gillar

  1. bokomslag Creating Html5 Apps with Sproutcore

    Creating Html5 Apps with Sproutcore

    Tyler Keating

    Häftad

    789:-
  2. bokomslag Computer Aided Verification: Emerging Trends

    Computer Aided Verification: Emerging...

    Tyler Keating

    Klotband

    2269:-
  3. bokomslag Matematik 5000+ Kurs 4 Lärobok Upplaga 2021

    Matematik 5000+ Kurs 4 Lärobok Upplag...

    Lena Alfredsson • Hans Heikne

    Häftad

    579:-
  4. bokomslag Lectures on Homeopathic Philosophy

    Lectures on Homeopathic Philosophy

    James Tyler Kent

    Klotband

    349:-
  5. bokomslag Lectures on Homeopathic Philosophy

    Lectures on Homeopathic Philosophy

    James Tyler Kent

    Pocket

    259:-
  6. bokomslag Two Baptist Pioneer Preachers of Texas and Their Genealogy

    Two Baptist Pioneer Preachers of Texa...

    Della Tyler Key

    Häftad

    349:-
  7. bokomslag Yellowface (svensk utgåva)

    Yellowface (svensk utgåva)

    R F Kuang

    Pocket

    125:-
  8. bokomslag Lectures on Homeopathic Philosophy

    Lectures on Homeopathic Philosophy

    James Tyler Kent James Tyler Kent

    Pocket

    259:-
  9. Ny
    bokomslag Styrka i klimakteriet : optimera träningen, maten och måendet

    Styrka i klimakteriet : optimera trän...

    Olga Rönnberg

    Inbunden

    329:-
  10. bokomslag Riot Street

    Riot Street

    Tyler King

    469:-

Andra av samma författare

  1. bokomslag Computer Aided Verification: Emerging Trends

    Computer Aided Verification: Emerging...

    Tyler Keating

    Klotband

    2269:-
  2. bokomslag Creating Html5 Apps with Sproutcore

    Creating Html5 Apps with Sproutcore

    Tyler Keating

    Häftad

    789:-