Model Checking Software 1
bokomslag Model Checking Software

Model Checking Software

Ball Thomas Ball • Rajamani Sriram K Rajamani

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: Ball Thomas Ball, Rajamani Sriram K Rajamani
  • Format: Pocket/Paperback
  • ISBN: 9783662194829
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Tipps fr Eltern

    Tipps fr Eltern

    Patty Ball Thomas

    Pocket

    749:-
  2. bokomslag Model Checking Software

    Model Checking Software

    Sriram K Rajamani Thomas Ball

    Pocket

    989:-
  3. bokomslag Tips for Parents

    Tips for Parents

    Patty Ball Thomas

    Pocket

    709:-
  4. bokomslag Consigli per i genitori

    Consigli per i genitori

    Patty Ball Thomas

    Pocket

    749:-
  5. bokomslag Computer Aided Verification

    Computer Aided Verification

    Sriram K Rajamani Kousha Etessami

    Pocket

    1959:-
  6. bokomslag Sacred Union

    Sacred Union

    Sri Ram Kaa Kira Raa

    Pocket

    239:-
  7. bokomslag Fundamentals of Electric Aircraft, Revised Edition

    Fundamentals of Electric Aircraft, Re...

    Pascal Thalin, Ravi Rajamani, Jean-Charles Mar, Sven Taubert

    Pocket

    1999:-
  8. bokomslag Conseils aux parents

    Conseils aux parents

    Patty Ball Thomas

    Pocket

    749:-
  9. bokomslag Kurt Lewin reloaded

    Kurt Lewin reloaded

    Dirk Paul Bogner, Neslihan Sriram-Uzundal, Marianne Soff

    Pocket

    1379:-
  10. bokomslag Cellular Manufacturing Systems

    Cellular Manufacturing Systems

    D Rajamani N Singh

    Inbunden

    2819:-