sriram sankaranarayanan

Grid   List

  1. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Sriram Sankaranarayanan
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO...
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO...
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from ...
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from ...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Enrico Vicario
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Natasha Sharygina
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as ...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Natasha Sharygina
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, fr...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, fr...
    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver,...
    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver,...
    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>