Software Engineering and Formal Methods edito da Springer International Publishing
Alta reperibilità

Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings

EAN:

9783031171079

ISBN:

3031171071

Pagine:
388
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

Spedizione gratuita
€ 77.73
o 3 rate da € 25.91 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Software Engineering and Formal Methods
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti