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

909:-

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:

  • 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

    1149:-
  2. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Tulay Aygan Atesin, Sajid Bashir, Jingbo Louise Liu

    Inbunden

    3449:-
  3. bokomslag Advances in Sustainable Energy

    Advances in Sustainable Energy

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

    Inbunden

    4789:-
  4. bokomslag Advances in Sustainable Energy

    Advances in Sustainable Energy

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

    Pocket

    4789:-
  5. bokomslag Nanochemistry

    Nanochemistry

    Xuan Wang, Sajid Bashir, Jingbo Liu

    Pocket

    1679:-
  6. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Ying-Pin Chen, Sajid Bashir, Jingbo Louise Liu

    Inbunden

    3299:-
  7. bokomslag Static Analysis

    Static Analysis

    Cezara Drgoi, Suvam Mukherjee, Kedar Namjoshi

    Pocket

    1219:-
  8. bokomslag Nanostructured Materials for Next-Generation Energy Storage and Conversion

    Nanostructured Materials for Next-Gen...

    Ying-Pin Chen, Sajid Bashir, Jingbo Louise Liu

    Pocket

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

    Nanostructured Materials for Next-Gen...

    Fan Li, Sajid Bashir, Jingbo Louise Liu

    Inbunden

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

    Verification, Model Checking, and Abs...

    Rayna Dimitrova, Ori Lahav, Sebastian Wolff

    Pocket

    1149:-