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: Gerard J. Holzmann 6 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Beyond photography - the digital darkroom | Gerard J. Holzmann | cop. 1988 | Engelska |
| 2 | Design and validation of computer protocols | Gerard J Holzmann | cop. 1991 | Engelska |
| 3 | The early history of data networks | Gerard J. Holzmann | cop. 1995 | Engelska |
| 4 | NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings | Mihaela. Bobaru | 2011 | Engelska |
| 5 | spin model checker : primer and reference manual | Gerard J Holzmann | 2004 | Okänt |
| 6 | Spin Model Checker, The: Primer and Reference Manual | Gerard J. Holzmann | 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.