Knihu momentálně nemáme skladem
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Autoři
Parametry
Nákup knihy
Formal Methods for Executable Software Models, Marco Bernardo
- Jazyk
- Rok vydání
- 2014
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Formal Methods for Executable Software Models
- Podtitul
- 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
- Jazyk
- anglicky
- Autoři
- Marco Bernardo
- Vydavatel
- Springer International Publishing
- Vydavatel
- 2014
- ISBN10
- 3319073168
- ISBN13
- 9783319073163