Alessandro Gianola – författare
Visar alla böcker från författaren Alessandro Gianola. Handla med fri frakt och snabb leverans.
4 produkter
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Häftad, 2023
744 kr
Lägg i varukorg
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical …
Verification of Data-Aware Processes via Satisfiability Modulo Theories
E-bok, 2023
985 kr
Lägg i varukorg
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical …
Enterprise Design, Operations, and Computing
29th International Conference, EDOC 2025, Lisbon, Portugal, September 9–12, 2025, Revised Selected Papers
Av Alessandro Gianola, Renata Guizzardi m. fl.
Häftad, 2026
747 kr
Lägg i varukorg
This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9–12, 2025.The 19 full papers were carefully reviewed and seleced from 73 submissions. They were …
Enterprise Design, Operations, and Computing
29th International Conference, EDOC 2025, Lisbon, Portugal, September 9-12, 2025, Revised Selected Papers
Av Jose Barateiro, Miguel Mira da Silva m. fl.
E-bok, 2026
985 kr
Lägg i varukorg
This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9–12, 2025.The 19 full papers were carefully reviewed and seleced from 73 submissions. They were …
