Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer, Berlin
SKU: 9783031660634
Price: 52.78 EUR
Availability: InStock

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Автор: Andrew Reynolds, Serdar Tasiran

Език:

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

Издател: Springer, Berlin

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

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

52.78 € 103.24 лв

This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft...

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

Автор

Andrew Reynolds, Serdar Tasiran

Език

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

Корици

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

Издадена

2024

страници

108

EAN

9783031660634

Enbook ID

46145388

Издател

Springer, Berlin

Теглоt

195

Размери

155 x 235

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

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

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

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

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

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