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: Dino Mandrioli 10 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Advances in object-oriented software engineering | 1992 | Engelska | |
| 2-3 | Fundamentals of software engineering (flera utgåvor) | Carlo Ghezzi | cop. 2003 | Engelska |
| 4 | The art and craft of computing | Stefano Ceri | 1997, cop. 1998 | Engelska |
| 5 | Theoretical foundations of computer science | Dino Mandrioli | cop. 1987 | Engelska |
| 6 | Formal methods for real-time computing | c1996 | Engelska | |
| 7 | FME 2003. - formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings | Italy) International Symposium of Formal Methods Europe 2003 : Pisa | 2003 | Engelska |
| 8-9 | Modeling time in computing (flera utgåvor) | Carlo A. Furia | 2012 | Engelska |
| 10 | Modeling Time in Computing | Carlo A. Furia | 2012 | 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.