Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Deductive Software Verification -- The KeY Book : From Theory to Practice / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hahnle, Peter H. Schmitt, Mattias Ulbrich (eds.). by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor] Hähnle, Reiner [editor.] Schmitt, P. H. (Peter H.), 1948- [editor.] Ulbrich, Mattias [editor] Series: Lecture notes in computer science ; 10001, \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich (eds.). by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Ulbrich, Mattias [editor.] Series: Lecture notes in computer science ; 12345. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2020] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.). by Hähnle, Reiner [honouree.] Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] Series: Lecture notes in computer science ; 13360. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha