Przigoda, Nils (Autor)
Wille, Robert (Autor)
Przigoda, Judith (Autor)
Drechsler, Rolf (Autor)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-72814-8 |
|---|---|
| Seitenzahl | 255 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4912 Kbytes |