Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Software Engineering and Formal Methods

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Elena Gómez-Martínez
Libristo code: 49776475
Publishers Springer-Verlag GmbH, December 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Full description
? points 185 b
76.36 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Капітан Кук. Книга друга Євгенія Чемерис / Book Paperback
common.buy 15.28 €
Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly / Book Book
common.buy 20.75 €
Lulu & Bo toben im Herbstlaub Outi Kaden / Book Hardback
common.buy 8.80 €
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Book Paperback
common.buy 12.75 €
Etazhi Molchat Doma / Audio Audio CD
common.buy 18.73 €
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Book Paperback
common.buy 9.21 €
La Fiesta de las Frutas Doris Alvarez / Book Paperback
common.buy 9.51 €
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Book Paperback
common.buy 79.29 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Software Engineering and Formal Methods
Author Elena Gómez-Martínez
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 261
EAN 9783032104434
ISBN 3032104432
Libristo code 49776475
Publishers Springer-Verlag GmbH
Weight 458

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Book Paperback
common.buy 10.32 €
English Air D.E. Stevenson / Book Paperback
common.buy 14.27 €
Wotan's Daughter Richard Davis / Book Paperback
common.buy 32.70 €
New
Socialism, Internationalism, and Development in the Third World David Brydan / Book Paperback
common.buy 46.88 €
RoseNote Jane Smith / Book Paperback
common.buy 6.57 €
We Were Made for Each Other! Jiu Er / Book Hardback
common.buy 14.27 €
NO LOVE, The Causes and Causal Resolution of Narcissism and Altruism Marion Kohn / Book Hardback
common.buy 29.56 €
Some Traditional plant extracts Salah El-Din Mohamed Labib / Book Paperback
common.buy 81.93 €
Half-Hours with the Stars Richard Anthony Proctor / Book Paperback
common.buy 11.74 €
New
Teachers and Teacher Education in Developing Countries Linda A. Dove / Book Hardback
common.buy 152.22 €
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Book Paperback
common.buy 185.34 €
Story of Vermont Stephen C. Trombulak / Book Paperback
common.buy 23.08 €
Hepatobiliary System W. Taylor / Book Paperback
common.buy 51.75 €
Keys to Successful Fasting Dr Rosetta Stamp / Book Paperback
common.buy 15.79 €
The Works Of The British Poets V10 Part 1: With Prefaces, Biographical And Critical (1795) Robert Anderson / Book Paperback
common.buy 37.36 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?