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: Hana. Chockler 5 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings | Hana. Chockler | 2009 | Engelska |
2 | Hardware and Software: Verification and Testing | Hana Chockler | 2009 | Okänt |
3 | Validation of Evolving Software | 2015 | Engelska | |
4-5 | Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (flera utgåvor) | 2018 | 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.