Ergebnisse filtern
Fachgebiet
Medium
  • 11
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 11
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
Verlag
  • 3
  • 3
  • 5
Preis
  • 1
  • 7
  • 3
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11

Mathematik | Informatik

11  Treffer  für „Beckert, Bernhard“
Alle Filter löschen
    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 / 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
    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 / 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 / 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 / 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 / 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 | 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 | 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