Bernhard beckert u a (9 risultati)
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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, Tiergar…tenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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, juer…gen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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, Tierg…artenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,60
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 Verla…g GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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: Sp…ringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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]har…tmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 113,20
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 Heidelber…g, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
Lingua: Tedesco
Editore: Campus Verlag, 2006
Serie: Libro 8 di 42 - Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln
- Brossura
Da: Studibuch, Stuttgart, GermaniaStudibuch
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 32,31
EUR 62,30 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
perfect. Condizione: Gut. 470 Seiten; 9783593382814.3 Gewicht in Gramm: 1.
Lingua: Tedesco
Editore: Campus Verlag, 2006
Serie: Libro 8 di 42 - Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln
- Brossura
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 179,95
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
