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.