Das Buch ist derzeit nicht auf Lager
A framework for formal representation and transformational optimisation of executable specifications
Autoren
Parameter
Buchkauf
A framework for formal representation and transformational optimisation of executable specifications, Thomas Meyer-Wieser
- Sprache
- Erscheinungsdatum
- 2008
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- A framework for formal representation and transformational optimisation of executable specifications
- Sprache
- Englisch
- Autor*innen
- Thomas Meyer-Wieser
- Verlag
- Logos-Verl.
- Erscheinungsdatum
- 2008
- Einband
- Paperback
- ISBN10
- 3832515623
- ISBN13
- 9783832515621
- Reihe
- BISS monographs
- Kategorie
- Informatik & Programmierung