Profisuche

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 Mod...

    53,49 €
    Alle Preise inkl. MwSt
  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 Con...

    60,98 €
    Alle Preise inkl. MwSt
  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 Con...

    60,98 €
    Alle Preise inkl. MwSt
  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 Sym...

    128,39 €
    Alle Preise inkl. MwSt
  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 Sym...

    149,79 €
    Alle Preise inkl. MwSt
  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 ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 Tool...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    160,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    139,09 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    62,05 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 ...

    62,05 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1