Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
- José Proença
- Raul Fervari
- Manuel A. Martins
- Reinhard Kahle
- Graham Pluck
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,191Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹63.99Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops is written by José Proença and published by Springer Nature. It's available with International Standard Book Number or ISBN identification 3031947487 (ISBN 10) and 9783031947483 (ISBN 13).
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops: ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
