Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Bernhard Beckert 15 träffar

Titel Författare År Språk
1-2 Automated Reasoning with Analytic Tableaux and Related Methods - 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings (flera utgåvor) Bernhard. Beckert 2005 Engelska
3 Verification of object-oriented software - the KeY approach c2007 Engelska
4 Verification of Object-Oriented Software. The KeY Approach electronic resource - Foreword by K. Rustan M. Leino Bernhard. Beckert 2007 Engelska
5 Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Bernhard. Beckert 2008 Engelska
6 Deductive Software Verification – The KeY Book - From Theory to Practice 2016 Engelska
7 Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Bernhard. Beckert 2013 Engelska
8-9 Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (flera utgåvor) Bernhard. Beckert 2012 Engelska
10 Formal Methods for Components and Objects Bernhard Beckert 2013 Okänt
11 Tests and Proofs Bernhard Beckert 2008 Okänt
12 Formal Verification of Object-Oriented Software Bernhard Beckert 2012 Okänt
13 Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : Proceedings (Lecture notes in computer science, Lecture notes in artificial intelligence 3702) Bernhard Beckert 2005 Okänt
14 Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert 2007 Okänt
15 Automated Deductive Verification of Safety-Critical Embedded Software Christian Lidström 2024 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.