Software Engineering and Formal Methods

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

Автор: Elena Gómez-Martínez

Език:

Корици: С меки корици

Издател: Springer-Verlag GmbH

Наличност: Външен склад

Изпращаме след 5-8 дни

78.11 € 152.76 лв

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

Информация за книгата

Автор

Elena Gómez-Martínez

Език

Английски език

Корици

Книга - С меки корици

Издадена

2025

страници

261

EAN

9783032104434

ISBN

3032104432

Enbook ID

49776475

Издател

Springer-Verlag GmbH

Теглоt

458

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Software Engineering and Formal Methods

Информация за книгата

Пълно описание

Може също да ви хареса

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)

Клиенти, които купиха тази книга, купиха също

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

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