Verified Software. Theories, Tools and Experiments

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

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

Autor: Andrew Reynolds, Serdar Tasiran

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.92 zł

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

Informacje o książce

Autor

Andrew Reynolds, Serdar Tasiran

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2024

strony

108

EAN

9783031660634

Enbook ID

46145388

Wydawca

Springer, Berlin

Waga

195

Wymiary

155 x 235

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Verified Software. Theories, Tools and Experiments

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również