Specification and Transformation of Programs Helmut A. Partsch
71,68 €
Titel: Specification and Transformation of Programs, Untertitel: A Formal Approach to Software Development, Einband: Taschenbuch, Autor: Helmut A. Partsch, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 516, Maße: 242x170x28 mm, Gewicht: 874 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Transformation (mathematisch) Attribut Cognition Formal Specification Formale Spezifikation Programmiermethodik Programmkorrektheit Programmtransformation Software Engineering algorithm algorithms complexity data structure data structures formal language programming structured analysis.
Jetzt bei Ebay:
