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: Kedar. Namjoshi 9 träffar

Titel Författare År Språk
1-2 Verification, Model Checking, and Abstract Interpretation (flera utgåvor) E. Allen. Emerson 2006 Engelska
3-4 Automated Technology for Verification and Analysis (flera utgåvor) Kedar S. Namjoshi 2007 Engelska
5 Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Kedar. Namjoshi 2011 Engelska
6 Hardware and Software: Verification and Testing, Volume 6405 2011 Okänt
7 Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 2225, 2007 Proceedings Kedar S. Namjoshi 2007 Okänt
8 Verification, Model Checking, and Abstract Interpretation: 7Th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : Proceedings (Lecture notes in computer science, 3855) E. Allen Emerson 2006 Okänt
9 Parameterized Systems - Generalizing and Simplifying Automatic Verification Ahmed Rezine 2008 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.