Carte Integrated Formal Methods Nikolai Kosmatov

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
771.91 lei
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2025
Pagini
400
EAN
9783031765537
Enbook ID
46583255
Greutate
534
Dimensiuni
155 x 235

Descriere completă

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

S-ar putea să te intereseze

83.00 lei

Autoimmune Fix

Tom O'bryan
116.39 lei
92.18 lei
84.61 lei

Don't Fix Women

Joy Burnford
93.29 lei
57.59 lei
49.51 lei

Clienții care au cumpărat această carte au mai cumpărat și

Voice over IP

M Westphal
68.28 lei
414.64 lei
44.98 lei