Frank de Boer - Böcker
Visar alla böcker från författaren Frank de Boer.
6 produkter
6 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 2012
1 329 kr
Skickas inom 7-10 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Inbunden, Engelska, 2001
3 979 kr
Skickas inom 7-10 vardagar
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Häftad, Engelska, 2020
789 kr
Skickas inom 10-15 vardagar
Del 14360 - Lecture Notes in Computer Science
Active Object Languages: Current Research Trends
Häftad, Engelska, 2024
1 069 kr
Skickas inom 10-15 vardagar
Del 9109 - Lecture Notes in Computer Science
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar