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: Edmund M. Clarke 8 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | Handbook of Model Checking (flera utgåvor) | 2018 | Engelska | |
| 3 | Model checking | Edmund M. Clarke | 1999 | Engelska |
| 4 | Computer-aided verification - proceedings | cop. 1991 | Engelska | |
| 5 | Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers | Edmund M. Clarke | 2010 | Engelska |
| 6 | Model Checking | Edmund M. Clarke Jr. | uuuu-uuuu | Okänt |
| 7 | Computer-Aided Verification | Edmund M. Clarke | uuuu-uuuu | Okänt |
| 8 | Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled | Edmund M. Clarke | uuuu-uuuu | 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.