Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing, 470)
Product Description
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing, 470)
Technical Specifications
You might also like
Philipp Lotmar: letzter Pandektist oder erster Arbeitsrechtler? (Studien Zur Europaischen Rechtsgeschichte) (German and Italian Edition)
Die Ökonomie des Privilegs, Westeuropa 16.-19. Jh./L'économie du privlège, Europe occidentale XVIe-XIX siècles (Studien zu Policey, ... (French and German Edition)
Publizistik in j|dischen Displaced-Persons-Camps im Nachkriegsdeutschland: Charakteristika, Medientypen und bibliothekarische Überlieferung ... Bibliographie - Sonderbande) (German Edition)
Global Age Essays on Social and Cultural Change (Schriftenreihe Des Kate Hamburger Kollegs Recht Als Kultur)
Bibliothekare zwischen Verwaltung und Wissenschaft: 200 Jahre Berufsbilddebatte (Zeitschrift fur Bibliothekswesen und Bibliographie - Sonderbande) (German Edition)
Was Ist Kunst? Eine Grundlegung (Klostermann Rotereihe) (German Edition)
Religion in the Mirror of Law: Eastern European Perspectives from the Early Modern Period to 1939 (Studien Zur Europaischen Rechtsgeschichte, 280)
Thomas Mann als Essayist: Internationales Forschungkolloquium Messina 2012 (Thomas-mann-studien) (German Edition)