Buchportal für Bücher die eine ISBN tragen.

Reihe Lecture Notes in Business Information Processing

Alessandro Gianola ×

Buchcover Verification of Data-Aware Processes via Satisfiability Modulo Theories

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Alessandro Gianola

Springer International Publishing

Buchcover Verification of Data-Aware Processes via Satisfiability Modulo Theories

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Alessandro Gianola

Springer International Publishing