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

AvWillem-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

AvWillem-Paul de Roever,Frank de Boer m. fl.

Inbunden, Engelska, 2001

3 829 kr

Skickas inom 10-15 vardagar

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

789 kr

Skickas inom 10-15 vardagar

Active Object Languages: Current Research Trends

AvFrank de Boer,Ferruccio Damiani m. fl.

Häftad, Engelska, 2024

1 009 kr

Skickas inom 5-8 vardagar

FM 2015: Formal Methods

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

AvNikolaj Bjørner,Frank de Boer

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

AvFrank de Boer,Marcello Bonsangue m. fl.

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar