Hoppa till sidans huvudinnehåll

Frank de Boer – författare

Visar alla böcker från författaren Frank de Boer.
6 produkter
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
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 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Inbunden
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 059 kr

Skickas inom 7-10 vardagar

Frank de Boer, Antonio Cerone - Software Engineering and Formal Methods, Häftad

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

Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan - Active Object Languages: Current Research Trends, Häftad
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

Nikolaj Bjørner, Frank de Boer - FM 2015: Formal Methods, Häftad
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

Frank de Boer, Marcello Bonsangue, Jan Rutten - It's All About Coordination, Häftad

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