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: Ezio Bartocci
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
|
|
2016 |
Engelska |
| 2 |
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
|
Ezio. Bartocci
|
2013 |
Engelska |
| 3 |
Runtime Verification - 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
|
|
2015 |
Engelska |
| 4 |
Lectures on Runtime Verification - Introductory and Advanced Topics
|
|
2018 |
Engelska |
| 5 |
Model Checking Software
|
Ezio Bartocci
|
2013 |
Okänt |
| 6 |
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
|
Ezio Bartocci
|
2021 |
Okänt |
| 7 |
TOOLympics 2019 - An overview of competitions in formal methods
|
Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci
|
2019 |
Engelska |
| 8 |
Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday / Ezio Bartocci, Yliès Falcone, Martin Leucker
|
Ezio (Computer scientist) Bartocci
|
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.