TAPSOFT '95: Theory and Practice of Software Development Peter D. Mosses
106,99 €
Titel: TAPSOFT '95: Theory and Practice of Software Development, Untertitel: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings, Einband: Taschenbuch, Autor: Peter D. Mosses, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 836, Maße: 235x155x45 mm, Gewicht: 1241 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Design Formale Methoden Programmsemantik Programmspezifikation Simulation Software Entwicklung Variable algorithms automata debugging formal methods object program semantics software development theorem proving.
Jetzt bei Ebay:
