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: Workshop on the SPIN Verification System Rutgers University) 1996 : (2nd 1 träff

Titel Författare År Språk
1 The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 / Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors Workshop on the SPIN Verification System Rutgers University) 1996 : (2nd 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.