Frank de Boer – författare
Visar alla böcker från författaren Frank de Boer. Handla med fri frakt och snabb leverans.
10 produkter
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Häftad, 2012
1341 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Inbunden, 2001
3709 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
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
622 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully …
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Av Antonio Cerone, Frank de Boer
E-bok, 2020
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were …
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
Active Object Languages: Current Research Trends
Av Eduard Kamburjan, Einar Broch Johnsen m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Av Nikolaj Bjørner, Frank de Boer
Häftad, 2015
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the …
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Av Frank de Boer, Nikolaj Bjorner
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the …
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
566 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Av Jan Rutten, Marcello Bonsangue m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
