Sriram sankaranarayanan u a (6 Ergebnisse)

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II | Sriram Sankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2023 | Springer | EAN 9783031308192 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I | Sriram Sankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2023 | Springer | EAN 9783031308222 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031826993 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031827020 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I | S. Akshay (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031787089 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II | S. Akshay (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031787492 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…