Andre Platzer U A (4 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 36.57
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Deduction - CADE 28 | 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings | André Platzer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2021 | Springer | EAN 9783030798758 | Verantwortliche Person für die EU: Spri…nger 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
£ 36.57
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I | André Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711619 | 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
£ 42.93
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Correct System Design | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | Roland Meyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2015 | Springer | EAN 9783319235059 | Verantwortli…che 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
£ 123.62
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II | Andre Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg…, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
