Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Deductive Software Verification - The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�ahnle, Peter H. Schmitt, Mattias Ulbrich.

by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | H�ahnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.

by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Deductive Software Verification - The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.

by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.

by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available