Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag GmbH
SKU: 49776475
Price: 79.49 EUR
Availability: InStock
Author: Elena Gómez-Martínez
ISBN: 9783032104434

Elena Gómez-Martínez

Language

English

Book Paperback

Libristo code: 49776475

Publishers Springer-Verlag GmbH, December 2025

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Full description

Libristo code: 49776475

195 b

79.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Капітан Кук. Книга друга Євгенія Чемерис

Paperback

15.89 €

Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly

Book

20.49 €

Lulu & Bo toben im Herbstlaub Outi Kaden

Hardback

10.00 €

Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication

Paperback

13.19 €

Etazhi Molchat Doma

Audio CD

19.39 €

Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan

Paperback

9.59 €

La Fiesta de las Frutas Doris Alvarez

Paperback

9.89 €

Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr

Paperback

82.89 €

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 proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.