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: Dragan. Bošnački
5 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
Model checking software - 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
(flera utgåvor)
|
International SPIN Workshop 2002 : Grenoble)
|
cop. 2002 |
Engelska |
| 3 |
Model Checking Software electronic resource - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
|
Dragan. Bošnački
|
2007 |
Engelska |
| 4 |
Model Checking Software
|
Dragan Bošnacki
|
2007 |
Okänt |
| 5 |
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
|
|
2016 |
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.