Frank de Boer – författare

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

6 produkter

1. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

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

   Häftad, 2012

   1739 kr

   Lägg i varukorg

2. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

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

   Inbunden, 2001

   4819 kr

   Lägg i varukorg

3. 

   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, 2020

   809 kr

   Lägg i varukorg

4. 

   Active Object Languages: Current Research Trends

   Av Frank de Boer, Ferruccio Damiani m. fl.

   Häftad, 2024

   1109 kr

   Lägg i varukorg

5. 

   FM 2015: Formal Methods

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

   Av Nikolaj Bjørner, Frank de Boer

   Häftad, 2015

   739 kr

   Lägg i varukorg

6. 

   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, 2018

   739 kr

   Lägg i varukorg