Axel legay u a (11 risultati)

Taschenbuch. Condizione: Neu. From Programs to Systems - The Systems Perspective in Computing | ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings | Saddek Bensalem (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783642548475 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Formal Modeling and Analysis of Timed Systems | 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings | Axel Legay (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2014 | Springer | EAN 9783319105116 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Hardware and Software: Verification and Testing | 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings | Valeria Bertacco (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2013 | Springer | EAN 9783319030760 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Runtime Verification | 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings | Axel Legay (u. a.) | Taschenbuch | xvii | Englisch | 2013 | Springer | EAN 9783642407864 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. Risks and Security of Internet and Systems | 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers | Nora Cuppens (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2018 | Springer | EAN 9783319766867 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Models, Algorithms, Logics and Tools | Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | Luca Aceto (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2017 | Springer | EAN 9783319631202 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Risks and Security of Internet and Systems | 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers | Frédéric Cuppens (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2017 | Springer | EAN 9783319548753 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Model Checking Software | 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings | Fabrizio Biondi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2019 | Springer | EAN 9783030309220 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Automated Technology for Verification and Analysis | 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings | Cyrille Artho (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2016 | Springer | EAN 9783319465197 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II | Axel Legay (u. a.) | Taschenbuch | xxiv | Englisch | 2017 | Springer | EAN 9783662545799 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I | Axel Legay (u. a.) | Taschenbuch | xxiv | Englisch | 2017 | Springer | EAN 9783662545768 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…