Książka Software Engineering and Formal Methods Elena Gómez-Martínez

Software Engineering and Formal Methods

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
313.24
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2025
strony
261
EAN
9783032104434
ISBN
3032104432
Enbook ID
49776475
Waga
458

Pełny opis

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.

Możesz być zainteresowany

Hearts Aflame, Still Burning

Rosa Nadine Xochimilco Sanchez
42.28

English Air

D.E. Stevenson
58.71

Wotan's Daughter

Richard Davis
134.06

RoseNote

Jane Smith
27.02

Some Traditional plant extracts

Salah El-Din Mohamed Labib
335.79

Half-Hours with the Stars

Richard Anthony Proctor
48.02
760.26

Story of Vermont

Stephen C. Trombulak
94.88
212.13
64.64

Klienci, którzy kupili tę książkę, kupili również

62.80
36.16

Etazhi

Molchat Doma
76.99
37.81
39.17
325.29