Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Informacija

Leidėjas: Springer Nature Switzerland
Išleidimo metai: 2016
Knygos puslapių skaičius: 436
ISBN-10: 3319415905
ISBN-13: 9783319415901
Formatas: 235 x 155 x 24 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings“