Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
SpringerLink DE
01-10-2026 13:30:57
Gesponsert
Galaxus.de
Przigoda:Automated Validation & Verific, Fachbücher von Rolf Drechsler, Robert Wille, Judith Przigoda, Nils Przigoda
Galaxus.de
01-10-2026 06:13:22
Ähnliche Produkte
Automated Trading with R
69.96 EUR
