Ergebnisse filtern
Fachgebiet
Medium
  • 11
  • 11
Erscheinungsjahr
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Autoren
  • 6
  • 22
  • 1
  • 2
  • 1
  • 6
  • 2
  • 1
  • 4
  • 1
  • 1
  • 4
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
Verlag
  • 9
  • 3
  • 10
Preis
  • 2
  • 16
  • 4
Sprachen
  • 22
Verfügbarkeit
  • 22
Katalog
  • 22
22  Treffer  für „Beckert, Bernhard“
    Beckert | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Beckert Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28931-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert | Automated Reasoning with Analytic Tableaux and Related Methods | eBook | Sack Fachmedien
    E-Book

    Beckert Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31822-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Marché | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Marché Formal Verification of Object-Oriented Software

    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18069-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Marché | Formal Verification of Object-Oriented Software | eBook | Sack Fachmedien
    E-Book

    Beckert / Marché Formal Verification of Object-Oriented Software

    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-18070-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hähnle / Beckert | Tests and Proofs | Buch | Sack Fachmedien

    Hähnle / Beckert Tests and Proofs

    Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79123-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle | Tests and Proofs | eBook | Sack Fachmedien
    E-Book

    Beckert / Hähnle Tests and Proofs

    Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-79124-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Gurov / Damiani | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Gurov / Damiani Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31761-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Damiani / Gurov | Formal Verification of Object-Oriented Software | eBook | Sack Fachmedien
    E-Book

    Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31762-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Hähnle / Schmitt | Verification of Object-Oriented Software. The KeY Approach | eBook | Sack Fachmedien
    E-Book

    Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    2007
    Verlag: Springer
    ISBN: 978-3-540-69061-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Schmitt / Hähnle | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

    Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Johnsen / Beckert | The Logic of Software. A Tasting Menu of Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Johnsen / Beckert The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | The Logic of Software. A Tasting Menu of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08166-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification: Future Perspectives | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives

    Reflections on the Occasion of 20 Years of KeY
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64354-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Beckert / Ulbrich | Deductive Software Verification: Future Perspectives | Buch | Sack Fachmedien

    Ahrendt / Beckert / Ulbrich Deductive Software Verification: Future Perspectives

    Reflections on the Occasion of 20 Years of KeY
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64353-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Bonsangue / Damiani | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Bonsangue / Damiani Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification – The KeY Book | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Beckert / Bubel Deductive Software Verification – The KeY Book

    From Theory to Practice
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49812-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beckert / Damiani / de Boer | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-35887-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Beckert / Ulbrich | Deductive Software Verification - The KeY Book | Buch | Sack Fachmedien

    Ahrendt / Beckert / Ulbrich Deductive Software Verification - The KeY Book

    From Theory to Practice
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49811-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krimmer / Volkamer / Beckert | Electronic Voting | eBook | Sack Fachmedien
    E-Book

    Krimmer / Volkamer / Beckert Electronic Voting

    5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-60347-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krimmer / Volkamer / Beckert | Electronic Voting | Buch | Sack Fachmedien

    Krimmer / Volkamer / Beckert Electronic Voting

    5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-60346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krimmer / Volkamer / Cortier | Electronic Voting | eBook | Sack Fachmedien
    E-Book

    Krimmer / Volkamer / Cortier Electronic Voting

    4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30625-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krimmer / Volkamer / Cortier | Electronic Voting | Buch | Sack Fachmedien

    Krimmer / Volkamer / Cortier Electronic Voting

    4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30624-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular