Verification, Model Checking, And Abstract Interpretation 1
bokomslag Verification, Model Checking, And Abstract Interpretation

Verification, Model Checking, And Abstract Interpretation

Dragoi Cezara Dragoi • Emmi Michael Emmi • Wang Jingbo Wang

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:

  • 2023
  • Författare: Dragoi Cezara Dragoi, Emmi Michael Emmi, Wang Jingbo Wang
  • Format: Pocket/Paperback
  • ISBN: 9783031249518
  • Språk: Engelska
  • Utgivningsdatum: 2023-01-17
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Cezara Dragoi, Michael Emmi, Jingbo Wang

    Pocket

    1309:-
  2. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Rayna Dimitrova, Ori Lahav, Sebastian Wolff

    Pocket

    1169:-
  3. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Tulay Aygan Atesin, Sajid Bashir, Jingbo Louise Liu

    Inbunden

    3369:-
  4. bokomslag Advances in Sustainable Energy

    Advances in Sustainable Energy

    Yong-Jun Gao, Weixin Song, Jingbo Louise Liu, Sajid Bashir

    Inbunden

    4779:-
  5. bokomslag Advances in Sustainable Energy

    Advances in Sustainable Energy

    Yong-Jun Gao, Weixin Song, Jingbo Louise Liu, Sajid Bashir

    Pocket

    4779:-
  6. bokomslag Nanochemistry

    Nanochemistry

    Xuan Wang, Sajid Bashir, Jingbo Liu

    Pocket

    1649:-
  7. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Ying-Pin Chen, Sajid Bashir, Jingbo Louise Liu

    Inbunden

    3219:-
  8. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Kedar S Namjoshi E Allen Emerson

    Pocket

    989:-
  9. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Ying-Pin Chen, Sajid Bashir, Jingbo Louise Liu

    Pocket

    2269:-
  10. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Thomas Wies Bernd Finkbeiner

    Pocket

    1739:-