Software Engineering and Formal Methods

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

Autor: Elena Gómez-Martínez

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag GmbH

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 694 Kč

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

Informace o knize

Autor

Elena Gómez-Martínez

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2025

Stránek

261

EAN

9783032104434

ISBN

3032104432

Enbook ID

49776475

Vydavatel

Springer-Verlag GmbH

Hmotnost

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering and Formal Methods

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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

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