kedar s namjoshi

Grid   List

  1. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Kedar Namjoshi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers pr...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    E. Allen Emerson
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of veri...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Kedar Namjoshi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together wit...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Static Analysis
    Static Analysis
    Cezara Dragoi
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Kedar S. Namjoshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of v...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Static Analysis
    Static Analysis
    Cezara Dr¿goi
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, care...
    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Kedar Namjoshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>