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: Stefania Gnesi 23 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Fm 1016: Formal Methods | 2016 | Okänt | |
| 22 | 2012 first International Workshop on Formal Methods in Software Engineering : Rigorous and Agile Approaches (FormSERA) : proceedings : June 2, 2012, Zurich, Switzerland | Stefania Gnesi | uuuu-uuuu | Okänt |
| 23 | Critical Systems: Formal Methods and Automated Verification | 2016 | Okänt |
Förra sidan 1 2
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.