Verification of Data-Aware Processes Via Satisfiability Modulo Theories - Alessandro Gianola - Grāmatas - Springer - 9783031427459 - 2023. gada 30. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Verification of Data-Aware Processes Via Satisfiability Modulo Theories


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Alessandro Gianola izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Mediji Grāmatas     Book
Izlaists 2023. gada 30. oktobris
ISBN13 9783031427459
Izdevēji Springer
Izmēri 150 × 220 × 20 mm   ·   528 g
Valoda Vācu  

Vairāk no tā paša izdevēja

Skatīt visus Alessandro Gianola ( piem., Book )