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: Tex.) 2016 : (4th FME Workshop on Formal Methods in Software Engineering Austin 1 träff

Titel Författare År Språk
1 FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA / sponsor, ACM Tex.) 2016 : (4th FME Workshop on Formal Methods in Software Engineering Austin 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.