Bernhard Beckert U A (9 results)
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.87
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Deductive Software Verification: Future Perspectives | Reflections on the Occasion of 20 Years of KeY | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030643539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergart…enstr. 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$ 59.87
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Tests and Proofs | Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings | Bernhard Beckert (u. a.) | Taschenbuch | x | Englisch | 2008 | Springer | EAN 9783540791232 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juerg…en[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.87
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods for Components and Objects | 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | Bernhard Beckert (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642358869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tierga…rtenstr. 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$ 68.43
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Electronic Voting | 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings | Robert Krimmer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2019 | Springer | EAN 9783030306243 | 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$ 113.16
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Verification of Object-Oriented Software. The KeY Approach | Foreword by K. Rustan M. Leino | Bernhard Beckert (u. a.) | Taschenbuch | xxix | Englisch | 2007 | Springer | EAN 9783540689775 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hart…mann[at]springer[dot]com | Anbieter: preigu.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 113.16
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Logic of Software. A Tasting Menu of Formal Methods | Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2022 | Springer | EAN 9783031081651 | Verantwortliche Person für die EU: Spr…inger 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$ 134.48
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Deductive Software Verification - The KeY Book | From Theory to Practice | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxii | Englisch | 2016 | Springer | EAN 9783319498119 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg…, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- More images
Language: German
Published by Campus Verlag, 2006
Series: Book 8 of 42 - Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln
- Softcover
Seller: Studibuch, Stuttgart, GermanyStudibuch
Contact seller5-star sellerCondition: Used - Very good
US$ 37.75
US$ 71.86 shippingShips from Germany to U.S.A.Quantity: 1 available
perfect. Condition: Gut. 470 Seiten; 9783593382814.3 Gewicht in Gramm: 1.
Language: German
Published by Campus Verlag, 2006
Series: Book 8 of 42 - Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 213.78
US$ 46.08 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. 2006. Transformationen des Kapitalismus: Festschrift für Wolfgang Streeck zum sechzigsten Geburtstag (Schriften aus dem MPI für Gesellschaftsforschung, 57) In deutscher Sprache. pages.
