Hoppa till sidans huvudinnehåll

Frank de Boer - Böcker

Visar alla böcker från författaren Frank de Boer.
6 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Av Willem-Paul de Roever, Frank de Boer m. fl

Häftad, Engelska, 2012

1 329 kr

Skickas inom 10-15 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Av Willem-Paul de Roever, Frank de Boer m. fl

Inbunden, Engelska, 2001

3 949 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Av Frank de Boer, Antonio Cerone

Häftad, Engelska, 2020

799 kr

Skickas inom 10-15 vardagar

Active Object Languages: Current Research Trends

Av Frank de Boer, Ferruccio Damiani m. fl

Häftad, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Av Nikolaj 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

Av Frank de Boer, Marcello Bonsangue m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar