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: B. T. author. Hailpern 1 träff

	Titel	Författare	År	Språk
1	Verifying Concurrent Processes Using Temporal Logic electronic resource / by B. T. Hailpern	B. T. author. Hailpern	uuuu-uuuu	Okänt

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.