Buy Used and New NilsPrzigoda Books

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

by Nils Przigoda, Robert Wille, Judith Przigoda

ISBN 13: 9783319728131

Format: Hardcover (268 pages)
Publisher: Springer
Published: 31 Jan 2018

Save for later

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

by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

ISBN 13: 9783319892146

Format: Paperback (268 pages)
Publisher: Springer
Published: 06 Jun 2019

Save for later