Domenico Bianculli – författare
Visar alla böcker från författaren Domenico Bianculli. Handla med fri frakt och snabb leverans.
6 produkter
Software Architecture. ECSA 2025 Tracks and Workshops
Limassol, Cyprus, September 15–19, 2025, Proceedings
Av Domenico Bianculli, Hassan Sartaj m. fl.
Häftad, 2025
689 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully …
Software Architecture. ECSA 2025 Tracks and Workshops
Limassol, Cyprus, September 15-19, 2025, Proceedings
Av Uwe Zdun, Mohamed Soliman m. fl.
E-bok, 2025
821 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully …
Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
Av Domenico Bianculli, Elena Gómez-Martínez
Häftad, 2025
837 kr
Kommande
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The …
Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
Av Elena Gomez-Martinez, Domenico Bianculli
E-bok, 2025
1091 kr
Lägg i varukorg
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The …
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Av Domenico Bianculli, Radu Calinescu m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions. The satellite …
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Av Bernhard Rumpe, Radu Calinescu m. fl.
E-bok, 2016
718 kr
Lägg i varukorg
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite …
