Maurice H. ter Beek – författare
Visar alla böcker från författaren Maurice H. ter Beek. Handla med fri frakt och snabb leverans.
22 produkter
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Maurice H. ter Beek, Annabelle McIver m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Jose N. Oliveira, Annabelle McIver m. fl.
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Maurice H. ter Beek, Alessandro Fantechi m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, …
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Laura Semini, Alessandro Fantechi m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, …
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Av Maurice H. ter Beek, Dejan Ničković
Häftad, 2020
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual …
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Av Dejan Nickovic, Maurice H. ter Beek
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. …
Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
Av Maurice H. ter Beek, Rosemary Monahan
Häftad, 2022
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the …
Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
Av Rosemary Monahan, Maurice H. ter Beek
E-bok, 2022
1067 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the …
Coordination Models and Languages
24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Av Marjan Sirjani, Maurice H. ter Beek
E-bok, 2022
1838 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The …
Coordination Models and Languages
24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Av Maurice H. ter Beek, Marjan Sirjani
Häftad, 2022
1355 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
Av Maurice H. ter Beek, Simon Collart-Dutilleul m. fl.
Häftad, 2025
640 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
Av Thierry Lecomte, Simon Collart-Dutilleul m. fl.
E-bok, 2025
821 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and …
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
Av Maurice H. ter Beek, Leopoldo Teixeira
Häftad, 2025
854 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 …
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Av Leopoldo Teixeira, Maurice H. ter Beek
E-bok, 2025
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 …
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Maurice H. ter Beek, Stefania Gnesi m. fl.
Häftad, 2026
1108 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Laura Semini, Anne E. Haxthausen m. fl.
E-bok, 2026
1418 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Av Maurice H. ter Beek, Stefania Gnesi m. fl.
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers …
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Av Alexander Knapp, Stefania Gnesi m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers …
Architecting Dependable Systems VI
Av Rogério de Lemos, Jean-Charles Fabre m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. …
Architecting Dependable Systems VI
Av Maurice H. ter Beek, Fabio Gadducci m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. …
Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Av Maurice H. ter Beek, Niels Lohmann
Häftad, 2013
524 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects …
Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Av Niels Lohmann, Maurice H. ter Beek
E-bok, 2013
657 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects …
