Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Software Engineering and Formal Methods Elena Gómez-Martínez

Software Engineering and Formal Methods

Szerző: Elena Gómez-Martínez
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag GmbH
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
28 518 Ft
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and...

Információk a könyvről

Szerző
Elena Gómez-Martínez
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2025
oldal
261
EAN
9783032104434
ISBN
3032104432
Enbook ID
49776475
Kiadó
Springer-Verlag GmbH
Súly
458

Teljes leírás

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.

Érdekelheti

Hearts Aflame, Still Burning

Rosa Nadine Xochimilco Sanchez
3 824 Ft

English Air

D.E. Stevenson
5 416 Ft

Wotan's Daughter

Richard Davis
12 100 Ft

Socialism, Internationalism, and Development in the Third World

David Brydan
17 157 Ft

RoseNote

Jane Smith
2 443 Ft

We Were Made for Each Other!

Jiu Er
5 402 Ft

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

Marion Kohn
11 105 Ft

Some Traditional plant extracts

Salah El-Din Mohamed Labib
30 777 Ft

Half-Hours with the Stars

Richard Anthony Proctor
4 407 Ft

Teachers and Teacher Education in Developing Countries

Linda A. Dove
56 000 Ft

Detection and Diagnostics of Plant Pathogens

Peter J. M. Bonants
69 221 Ft

Story of Vermont

Stephen C. Trombulak
8 245 Ft

Hepatobiliary System

W. Taylor
19 305 Ft

Keys to Successful Fasting

Dr Rosetta Stamp
5 855 Ft

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

Robert Anderson
13 817 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Євгенія Чемерис
5 703 Ft

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

Sam Kelly
7 124 Ft

Lulu & Bo toben im Herbstlaub

Outi Kaden
3 327 Ft

Tigrinya Alphabet and Words Workbook - Children's Book

Kiazpora Publication
4 734 Ft

Etazhi

Molchat Doma
6 936 Ft

Tavsan Pafpaf - Havuclu Kek Masallari

Zeynep Alpaslan
3 439 Ft

La Fiesta de las Frutas

Doris Alvarez
3 555 Ft

Ne Medikamentoznye Tekhnologii

Khadartsev Aleksandr
29 800 Ft