Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops: ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783032297129 - February 24, 2027
In case cover and title do not match, the title is correct

Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops: ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers - Lecture Notes in Computer Science

Price
R 1,650
excl. VAT
Expected delivery Mar 4 - 9, 2027
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This volume constitutes the papers of two workshops which were held in conjunction with the 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025.

Media Books     Paperback Book   (Book with soft cover and glued back)
To be released February 24, 2027
ISBN13 9783032297129
Publishers Springer Nature Switzerland AG
Pages 237
Dimensions 150 × 220 × 10 mm   ·   476 g   (Weight (estimated))
Editor Bianchini, Francesco
Editor Pavone, Arianna
Editor Proenca, Jose
Editor Requeno Jarabo, Jose Ignacio
Editor Rivieccio, Umberto

More from the same publisher