- Anglický jazyk
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Autor: Alessandro Gianola
Na objednávku
65.33 €
bežná cena: 72.59 €
O knihe
- Vydavateľstvo: Springer Nature Switzerland
- Rok vydania: 2023
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783031427459