Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda - Hardback

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda - Hardback

AED0.00
(0) Write a Review
SKU:
9783319728131
UPC:
9783319728131

Product Description

ISBN: 9783319728131
TITLE: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
AUTHOR: Nils Przigoda
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 31 Jan 2018

Other Details

ISBN:
9783319728131
Author:
Nils Przigoda
Publisher:
Springer International Publishing AG
Publisher Date:
Published:31 Jan 2018
Book Format:
Hardback

Related Products

Popular Trending Products