Automated Validation & Verification of UML/OCL Models Using Satisfiability Solve
160,49 €
Titel: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Einband: Buch, Autor: Nils Przigoda, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 268, Maße: 241x160x21 mm, Gewicht: 571 g, Verkäufer: buch-mimpf, Schlagworte: Architektur (EDV) Rechnerarchitektur EDV / Theorie / Software-Entw. / Testmethoden Ingenieurwissenschaft - Ingenieurwissenschaftler Maschinenbau Elektronik / Mikroelektronik Mikroelektronik Elektronik / Schaltung Schaltung - Grundschaltung Standardschaltung Automatic Verification in Electronic Systems Formal Specification Object Constraint Language UML unified modeling language.
Jetzt bei Ebay:
