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: Frank S.de Boer 7 träffar

Titel Författare År Språk
1 Formal methods for components and objects. - first international symposium, FMCO 2002, leiden, The Netherlands, November 2002 : revised lectures Netherlands) FMCO 2002 (2002 : Leiden 2003 Engelska
2 Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : Revised Lectures (Lecture notes in computer science, 3188) Frank S. de Boer uuuu-uuuu Okänt
3 Theoretical Computer Science Jos C.M. Baeten 2012 Okänt
4 Formal Methods for Components and Objects: First International Symposium, FMCO 2002 Frank S.de Boer uuuu-uuuu Okänt
5 Formal Methods for Components and Objects Bernhard Beckert 2013 Okänt
6 Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : Revised Lectures (Lecture notes in computer science, Tutorial 3657) Frank S. de Boer 2005 Okänt
7 Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Elena Giachino 2013 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.