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: Nikolai Kosmatov
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
|
Jasmin Christian Blanchette
|
2015 |
Okänt |
| 2-3 |
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
(flera utgåvor)
|
Nikolai. Kosmatov
|
uuuu-uuuu |
Okänt |
| 4-5 |
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings / edited by Nikolai Kosmatov, Laura Kovács
(flera utgåvor)
|
Nikolai. Kosmatov
|
uuuu-uuuu |
Okänt |
| 6 |
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
|
Nikolai Kosmatov
|
2024 |
Engelska |
| 7 |
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
|
Nikolai Kosmatov
|
2024 |
Engelska |
| 8 |
Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
|
|
2015 |
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.