| |
|
| Artikel-Nr.: 5667A-9783319728131 Herst.-Nr.: 9783319728131 EAN/GTIN: 9783319728131 |
| |
|
| | |
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Weitere Informationen: | | Author: | Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Drechsler | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Architektur (EDV), Rechnerarchitektur, EDV / Theorie / Software-Entw. / Testmethoden, Ingenieurwissenschaft - Ingenieurwissenschaftler, Maschinenbau, Elektronik / Mikroelektronik, Mikroelektronik, Elektronik / Schaltung, Schaltung - Grundschaltung, Standardschaltung, unifiedmodelinglanguage; ObjectConstraintLanguage; AutomaticVerificationinElectronicSystems; formalspecification |
| | |
| |