Mieke Massink - Böcker
Visar alla böcker från författaren Mieke Massink. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 11761 - Lecture Notes in Computer Science
Fundamentals of Software Engineering
8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions.
Del 12524 - Lecture Notes in Computer Science
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Häftad, Engelska, 2021
536 kr
Skickas inom 10-15 vardagar
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.Due to the Corona pandemic this event was held virtually.
Del 12818 - Lecture Notes in Computer Science
Fundamentals of Software Engineering
9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers
Häftad, Engelska, 2021
769 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions.
Del 10319 - Lecture Notes in Computer Science
Coordination Models and Languages
19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.