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: Agostino. Cortesi 41 träffar

	Titel	Författare	År	Språk
41	Verification, model checking, and abstract interpretation. - third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers	Model Checking and Abstract Interpretation 2002 : Venezia) International Workshop on Verification	cop. 2002	Engelska

Förra sidan 1 2 3

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.