Knihu momentálně nemáme skladem
A framework for formal representation and transformational optimisation of executable specifications
Autoři
Parametry
Nákup knihy
A framework for formal representation and transformational optimisation of executable specifications, Thomas Meyer-Wieser
- Jazyk
- Rok vydání
- 2008
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- A framework for formal representation and transformational optimisation of executable specifications
- Jazyk
- anglicky
- Autoři
- Thomas Meyer-Wieser
- Vydavatel
- Logos-Verl.
- Rok vydání
- 2008
- Vazba
- měkká
- ISBN10
- 3832515623
- ISBN13
- 9783832515621
- Série
- BISS monographs
- Kategorie
- Počítače, IT, programování