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: Cyrille Artho
85 träffar
|
Titel |
Författare |
År |
Språk |
| 81 |
Model-based System Testing of Safety-Critical Embedded Software
|
Muhammad Nouman Zafar
|
2022 |
Engelska |
| 82-83 |
VST : 2018 IEEE 2nd International Workshop on Validation, Analysis and Evolution of Software Tests : proceedings : March 20, 2018, Campobasso, Italy / Cyrille Artho and Rudolf Ramler sponsored by Institute of Electrical and Electronics Engineers
(flera utgåvor)
|
Cyrille Artho
|
uuuu-uuuu |
Okänt |
| 84 |
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems / Cyrille Artho, Peter Csaba Ölveczky, SIGPLAN, In-Cooperation: SIGAda
|
Cyrille Artho
|
uuuu-uuuu |
Okänt |
| 85 |
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 2930, 2013. Revised Selected Papers
|
|
2014 |
Okänt |
Förra sidan
1
2
3
4
5
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.