Logic of Software. A Tasting Menu of Formal Methods
Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20221 459 kr
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
E-bok
PDF, Engelska, 2005734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Deductive Software Verification - The KeY Book
Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20161 785 kr
Del 12455
Electronic Voting
Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak
Häftad, 2020
560 kr
Deductive Software Verification: Future Perspectives
Mattias Ulbrich, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
2020734 kr
Electronic Voting
Mihkel Solvak, David Duenas-Cid, Oksana Kulyk, Ralf Kusters, Bernhard Beckert, Melanie Volkamer, Robert Krimmer
E-bok
2020734 kr
Formal Methods for Components and Objects
Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert
E-bok
2013734 kr
Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Häftad, 2016
1 334 kr
Del 12345
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Häftad, 2020
560 kr