10 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Frank de Boer

  1. Cover: Software Engineering and Formal Methods - Springer
    Frank de Boer | Antonio Cerone
    Software Engineering and Formal Methods
    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    09/2020
    Springer
    9783030587680 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Active Object Languages: Current Research Trends - Springer
    Frank de Boer | Ferruccio Damiani | Reiner Hähnle
    Active Object Languages: Current Research Trends
    01/2024
    Springer
    9783031510601 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: It's All About Coordination - Springer
    Frank de Boer | Marcello Bonsangue | Jan Rutten
    It's All About Coordination
    Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
    05/2018
    Springer
    9783319900896 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: FM 2015: Formal Methods - Springer
    Nikolaj Bjørner | Frank de Boer
    FM 2015: Formal Methods
    20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
    05/2015
    Springer
    9783319192499 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Software Engineering and Formal Methods - Springer
    Frank de Boer | Antonio Cerone
    Software Engineering and Formal Methods
    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    09/2020
    Springer
    9783030587673 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 7-9 days
  6. Cover: It's All About Coordination - Springer
    Frank de Boer | Marcello Bonsangue | Jan Rutten
    It's All About Coordination
    Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
    04/2018
    Springer
    9783319900889 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: FM 2015: Formal Methods - Springer
    Nikolaj Bjørner | Frank de Boer
    FM 2015: Formal Methods
    20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
    06/2015
    Springer
    9783319192482 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Active Object Languages: Current Research Trends - Springer
    Frank de Boer | Ferruccio Damiani | Reiner Hähnle
    Active Object Languages: Current Research Trends
    01/2024
    Springer
    9783031510595 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  9. Cover: Concurrency Verification - Cambridge University Press
    Willem-Paul de Roever | Frank de Boer | Ulrich Hanneman
    Concurrency Verification
    Introduction to Compositional and Non-compositional Methods
    01/2012
    Cambridge University Press
    9780521169325 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.40
    Shipment within 15-20 days
  10. Cover: Concurrency Verification - Cambridge University Press
    Willem-Paul de Roever | Frank de Boer | Ulrich Hanneman
    Concurrency Verification
    Introduction to Compositional and Non-compositional Methods
    11/2001
    Cambridge University Press
    9780521806084 (ISBN)
    Book
    Hardback
    Other editions
    €273.80
    Shipment within 15-20 days