Roderick bloem u a (5 Ergebnisse)

Taschenbuch. Zustand: Neu. Decidability of Parameterized Verification | Roderick Bloem (u. a.) | Taschenbuch | Synthesis Lectures on Distributed Computing Theory | xi | Englisch | 2015 | Springer | EAN 9783031008832 | 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. Trusted Systems | 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings | Roderick Bloem (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2013 | Springer | EAN 9783319034904 | 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. Software Verification | 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers | Roderick Bloem (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2022 | Springer | EAN 9783030955601 | 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. Computer Aided Verification | 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2014 | Springer | EAN 9783319088662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Zustand: Neu. Handbook of Model Checking | Edmund M. Clarke (u. a.) | Buch | xlviii | Englisch | 2018 | Springer-Verlag GmbH | EAN 9783319105741 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …