> > > > > automated-validation-verification-of-umlocl-models-using-satisfiability-solvers

Nils Przigoda - Automated Validation & Verification Of Uml/ocl Models Using Satisfiability Solvers

Het boek Automated Validation & Verification Of Uml/ocl Models Using Satisfiability Solvers van de auteur Nils Przigoda is 2 maal gevonden, 2 maal nieuw en 0 maal tweedehands. "Automated Validation & Verification Of Uml/ocl Models Using Satisfiability Solvers" is nieuw te koop vanaf € 152,99 bij Bol.com.

Nieuw (2) vanaf € 152,99 bij Bol.com Toon 2 nieuwe boeken
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 2 nieuwe boeken gevonden
Automated Validation & Verification Of Uml/ocl Models Using Satisfiability Solvers

Type: Paperback
ISBN: 9783319892146
Levertijd: 19

Aanbieder:
€ 152,99
Bekijk boek
Automated Validation & Verification Of Uml/ocl Models Using Satisfiability Solvers

Type: Hardcover
ISBN: 9783319728131
Levertijd: 21

Aanbieder:
€ 152,99
Bekijk boek