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


Disponibilitate: LIVRARE IN 4-6 saptamani (produsul este livrat din Marea Britanie)
SKU:
9783319892146

650.99 RON
Okian.ro este o LIBRARIE online de carte in limba engleza.

CITESTE MAI MULT

Detalii

Descriere RO

Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.