Menu
Află starea comenzii
Contactați-ne
Carte Software Engineering and Formal Methods Elena Gómez-Martínez

Software Engineering and Formal Methods

Autor: Elena Gómez-Martínez
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag GmbH
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
409.85 lei
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and...

Informații despre carte

Autor
Elena Gómez-Martínez
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2025
Pagini
261
EAN
9783032104434
ISBN
3032104432
Enbook ID
49776475
Editura
Springer-Verlag GmbH
Greutate
458

Descriere completă

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.

S-ar putea să te intereseze

Hearts Aflame, Still Burning

Rosa Nadine Xochimilco Sanchez
55.22 lei

English Air

D.E. Stevenson
77.47 lei

Wotan's Daughter

Richard Davis
174.37 lei

Socialism, Internationalism, and Development in the Third World

David Brydan
248.31 lei

RoseNote

Jane Smith
35.19 lei

We Were Made for Each Other!

Jiu Er
77.27 lei

NO LOVE, The Causes and Causal Resolution of Narcissism and Altruism

Marion Kohn
159.20 lei

Some Traditional plant extracts

Salah El-Din Mohamed Labib
441.31 lei

Half-Hours with the Stars

Richard Anthony Proctor
63.21 lei

Teachers and Teacher Education in Developing Countries

Linda A. Dove
809.09 lei

Detection and Diagnostics of Plant Pathogens

Peter J. M. Bonants
994.80 lei

Story of Vermont

Stephen C. Trombulak
117.73 lei

Hepatobiliary System

W. Taylor
277.44 lei

Keys to Successful Fasting

Dr Rosetta Stamp
84.45 lei

The Works Of The British Poets V10 Part 1: With Prefaces, Biographical And Critical (1795)

Robert Anderson
199.26 lei

Clienții care au cumpărat această carte au mai cumpărat și

Капітан Кук. Книга друга

Євгенія Чемерис
81.92 lei

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

Sam Kelly
111.46 lei

Lulu & Bo toben im Herbstlaub

Outi Kaden
47.63 lei

Tigrinya Alphabet and Words Workbook - Children's Book

Kiazpora Publication
68.27 lei

Etazhi

Molchat Doma
100.03 lei

Tavsan Pafpaf - Havuclu Kek Masallari

Zeynep Alpaslan
49.45 lei

La Fiesta de las Frutas

Doris Alvarez
51.17 lei

Ne Medikamentoznye Tekhnologii

Khadartsev Aleksandr
427.35 lei