Logic of Software. A Tasting Menu of Formal MethodsEinar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt E-bok20221 408 kr
Deductive Software Verification - The KeY BookMattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt E-bok20161 722 kr
Del 12455Electronic VotingRobert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel SolvakHäftad, 2020561 kr
Deductive Software Verification: Future PerspectivesMattias Ulbrich, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt E-bok2020708 kr
Formal Methods for Components and ObjectsMarcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert E-bok2013708 kr
Del 12345Deductive Software Verification: Future PerspectivesWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias UlbrichHäftad, 2020561 kr
Del 10001Deductive Software Verification – The KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias UlbrichHäftad, 20161 335 kr