Frank de Boer – författare

Visar alla böcker från författaren Frank de Boer.

6 produkter

Kategorier

6 produkter

Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Häftad, Engelska, 2012
1 429 kr
Skickas inom 10-15 vardagar
Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Inbunden, Engelska, 2001
4 049 kr
Skickas inom 10-15 vardagar
Del 12310
Del 12310 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
AvFrank de Boer,Antonio Cerone
Häftad, Engelska, 2020
799 kr
Skickas inom 10-15 vardagar
Del 14360
Del 14360 - Lecture Notes in Computer Science
Active Object Languages: Current Research Trends
AvFrank de Boer,Ferruccio Damianim. fl.
Häftad, Engelska, 2024
1 089 kr
Skickas inom 10-15 vardagar
Del 9109
Del 9109 - Lecture Notes in Computer Science
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
AvNikolaj Bjørner,Frank de Boer
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
AvFrank de Boer,Marcello Bonsanguem. fl.
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar