VDM '90. VDM and Z - Formal Methods in Software Development Dines Bjørner
106,99 €
Titel: VDM '90. VDM and Z - Formal Methods in Software Development, Untertitel: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, Einband: Taschenbuch, Autor: Dines Bjørner, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 604, Maße: 235x155x33 mm, Gewicht: 902 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Design Entwurfsmethodik Software Engineering Spezifikationsmethodik Verteilte Systeme distributed systems formal method formalisation programming specification methodology.
Jetzt bei Ebay:
