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: Dominique. Méry
11 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Theoretical Aspects of Computing – ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
|
Gabriel. Ciobanu
|
2014 |
Engelska |
| 2 |
FM 2012: Formal Methods
|
Dimitra Giannakopoulou
|
2012 |
Okänt |
| 3 |
Integrated Formal Methods
|
Dominique Méry
|
2010 |
Okänt |
| 4 |
Theoretical Aspects of Computing ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
|
Gabriel Ciobanu
|
2014 |
Okänt |
| 5 |
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
|
Dimitra. Giannakopoulou
|
2012 |
Engelska |
| 6 |
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
|
Uwe. Glässer
|
2023 |
Engelska |
| 7 |
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
|
Uwe. Glässer
|
2023 |
Engelska |
| 8 |
Formal Methods and Software Engineering
|
Kazuhiro Ogata
|
2024 |
Engelska |
| 9 |
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
|
Dominique. Méry
|
2010 |
Engelska |
| 10 |
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
|
|
2023 |
Okänt |
| 11 |
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
|
Yamine Ait-Ameur
|
2021 |
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.