KORSO: Methods, Languages, and Tools for the Construction of Correct Software St
96,29 €
Titel: KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Untertitel: Final Report, Einband: Taschenbuch, Autor: Stefan Jähnichen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 468, Maße: 235x155x26 mm, Gewicht: 703 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität Compiler Correct Software Dependable Systems Design Formal Specification Formale Verifikation Sicherheitsrelevante Systeme Softwarequalität automata distributed systems formal method formal software development formal verification logic verification.
Jetzt bei Ebay:
