Roderick Bloem U A (4 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 53.02
US$ 78.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.21
US$ 78.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Hardware and Software: Verification and Testing | 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings | Roderick Bloem (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2016 | Springer | EAN 9783319490519 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 63.35
US$ 78.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.…
- Hardcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 149.32
US$ 78.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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.…
