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: Austria) (2010 FMCO 2010 Graz 2 träffar

Titel Författare År Språk
1 Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.) Austria) (2010 FMCO 2010 Graz uuuu-uuuu Okänt
2 Compositional Algorithmic Verification of Software Product Lines FMCO 2010; Graz; Austria; 29 November-1 December 2010 9th International Symposium on Formal Methods for Components and Objects Ina Schaefer 2010 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.