Constantin Enea U A (5 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 36.69
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2023 | Springer | EAN 9783031377020 | 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
£ 36.69
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxi | Englisch | 2023 | Springer | EAN 9783031377051 | 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
£ 36.69
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Aided Verification | 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III | Constantin Enea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2023 | Springer | EAN 9783031377082 | Verantwortliche Person für die EU: Spring…er 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
£ 44.68
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings | Constantin Enea (u. a.) | Taschenbuch | xvii | Englisch | 2019 | Springer | EAN 9783030112448 | Verantwortliche Person für die EU: Springer Verl…ag 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
£ 56.61
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Networked Systems | 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings | Armando Castañeda (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031673207 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tie…rgartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.