Specification and Transformation of Programs
Autor: | Partsch, Helmut A. |
---|---|
EAN: | 9783540525899 |
Sachgruppe: | Informatik, EDV |
Sprache: | Englisch |
Seitenzahl: | 516 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 05.07.1990 |
Untertitel: | A Formal Approach to Software Development |
Schlagworte: | EDV / Theorie / Software-Entw. / Allgemeines Transformation (mathematisch) |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.