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: Peter H. Schmitt 11 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Verification of object-oriented software - the KeY approach | c2007 | Engelska | |
| 2 | Verification of Object-Oriented Software. The KeY Approach electronic resource - Foreword by K. Rustan M. Leino | Bernhard. Beckert | 2007 | Engelska |
| 3 | Verification of Object-Oriented Software. The KeY Approach | Bernhard Beckert | 2007 | Okänt |
| 4 | Deductive Software Verification – The KeY Book - From Theory to Practice | 2016 | Engelska | |
| 5 | Deductive Software Verification - The KeY Book | 2016 | Okänt | |
| 6-9 | Nonmonotonic and inductive logic (flera utgåvor) | cop. 1993 | Engelska | |
| 10 | Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques | Peter H. Schmitt | 1998 | Okänt |
| 11 | Automated Deduction — A Basis for Applications: Volume III Applications | Peter H. Schmitt | 1998 | Okänt |
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.