An edition of Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
(2018)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda, and Rolf Drechsler
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Jun 06, 2019, Springer
paperback
3319892142 9783319892146
|
aaaa
|
2
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Jan 31, 2018, Springer
hardcover
331972813X 9783319728131
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created July 17, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 29, 2021 | Edited by ImportBot | import existing book |
| July 17, 2020 | Created by ImportBot | Imported from amazon.com record |