Kniha momentálne nie je na sklade

A framework for formal representation and transformational optimisation of executable specifications
Autori
Parametre
Nákup knihy
A framework for formal representation and transformational optimisation of executable specifications, Thomas Meyer-Wieser
- Jazyk
- Rok vydania
- 2008
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- A framework for formal representation and transformational optimisation of executable specifications
- Jazyk
- anglicky
- Autori
- Thomas Meyer-Wieser
- Vydavateľ
- Logos-Verl.
- Rok vydania
- 2008
- Väzba
- mäkká
- ISBN10
- 3832515623
- ISBN13
- 9783832515621
- Séria
- BISS monographs
- Kategórie
- Počítače, IT, programovanie