Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Software Engineering and Formal Methods Elena Gómez-Martínez

Software Engineering and Formal Methods

Autor: Elena Gómez-Martínez
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag GmbH
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
313.24 zł
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and...

Informacje o książce

Autor
Elena Gómez-Martínez
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2025
strony
261
EAN
9783032104434
ISBN
3032104432
Enbook ID
49776475
Wydawca
Springer-Verlag GmbH
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 zł

English Air

D.E. Stevenson
58.71 zł

Wotan's Daughter

Richard Davis
134.06 zł

Socialism, Internationalism, and Development in the Third World

David Brydan
192.29 zł

RoseNote

Jane Smith
27.02 zł

We Were Made for Each Other!

Jiu Er
58.71 zł

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

Marion Kohn
121.13 zł

Some Traditional plant extracts

Salah El-Din Mohamed Labib
335.79 zł

Half-Hours with the Stars

Richard Anthony Proctor
48.02 zł

Teachers and Teacher Education in Developing Countries

Linda A. Dove
624.15 zł

Detection and Diagnostics of Plant Pathogens

Peter J. M. Bonants
760.26 zł

Story of Vermont

Stephen C. Trombulak
94.88 zł

Hepatobiliary System

W. Taylor
212.13 zł

Keys to Successful Fasting

Dr Rosetta Stamp
64.64 zł

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

Robert Anderson
153.02 zł

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

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

Євгенія Чемерис
62.80 zł

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

Sam Kelly
84.96 zł

Lulu & Bo toben im Herbstlaub

Outi Kaden
36.16 zł

Tigrinya Alphabet and Words Workbook - Children's Book

Kiazpora Publication
52.39 zł

Etazhi

Molchat Doma
76.99 zł

Tavsan Pafpaf - Havuclu Kek Masallari

Zeynep Alpaslan
37.81 zł

La Fiesta de las Frutas

Doris Alvarez
39.17 zł

Ne Medikamentoznye Tekhnologii

Khadartsev Aleksandr
325.29 zł