Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag GmbH
SKU: 9783032104434
Price: 73.99 EUR
Availability: InStock

Autor: Elena Gómez-Martínez

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag GmbH

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

73.99 €

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and...

Informácie o knihe

Autor

Elena Gómez-Martínez

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2025

Stránok

261

EAN

9783032104434

ISBN

3032104432

Enbook ID

49776475

Vydavateľ

Springer-Verlag GmbH

Hmotnosť

458

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering and Formal Methods

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Hearts Aflame, Still Burning

English Air

Wotan's Daughter

Socialism, Internationalism, and Development in the Third World

RoseNote

We Were Made for Each Other!

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

Some Traditional plant extracts

Half-Hours with the Stars

Teachers and Teacher Education in Developing Countries

Detection and Diagnostics of Plant Pathogens

Story of Vermont

Hepatobiliary System

Keys to Successful Fasting

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

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

Lulu & Bo toben im Herbstlaub

Tigrinya Alphabet and Words Workbook - Children's Book

Etazhi

Tavsan Pafpaf - Havuclu Kek Masallari

La Fiesta de las Frutas

Ne Medikamentoznye Tekhnologii