Modular Specification and Verification of Object-Oriented Programs Peter Müller
53,49 €
Titel: Modular Specification and Verification of Object-Oriented Programs, Einband: Taschenbuch, Autor: Peter Müller, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 312, Maße: 235x155x17 mm, Gewicht: 476 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität EDV / Theorie / Software-Entw. / Software-Design Objektorientiert (EDV) Dependable Systems Formal Specification Java Modular specification Object-Oriented Design Object-oriented programming Software Design Systems development component systems formal methods modular verification programming systems verification validation verification.
Jetzt bei Ebay:
