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 21 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 Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Bernhard. Beckert 2013 Engelska
4-5 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
6 "Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers" Bernhard Beckert 2012 Okänt
7 Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Bernhard. Beckert 2008 Engelska
8 Verification of Object-Oriented Software. The KeY Approach electronic resource - Foreword by K. Rustan M. Leino Bernhard. Beckert 2007 Engelska
9-10 Verification of object-oriented software : the KeY approach (flera utgåvor) Bernhard Beckert 2007 Okänt
11 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
12 Formal Methods for Components and Objects Bernhard Beckert 2013 Okänt
13 Formal Verification of Object-Oriented Software Bernhard Beckert 2012 Okänt
14 Tests and Proofs Bernhard Beckert 2008 Okänt
15 Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 2020 Okänt
16 Deductive Software Verification – The KeY Book - From Theory to Practice 2016 Engelska
17 Deductive Software Verification - The KeY Book 2016 Okänt
18 Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings 2020 Okänt
19 Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 Okänt
20 Automated Deductive Verification of Safety-Critical Embedded Software Christian Lidström 2024 Engelska

1 2 Nästa sida

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.