The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by RolfDrechsler (Contributor), RobertWille (Author), JudithPrzigoda (Author), NilsPrzigoda (Author)

$157.57

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 268
 Edition: Softcover reprint of the original 1st ed. 2018
 Publisher: Springer
Published: 06 Jun 2019
ISBN 10: 3319892142
ISBN 13: 9783319892146