Mijn boeken
← Catalogus
Process mining and verification of properties
W.M.P. van der Aalst

Process mining and verification of properties an approach based on temporal logic

W.M.P. van der Aalst
H.T. de Beer · B.F. van Dongen
PaperbackNederlandsDeel WP-136 →
In het kort
ISBN-13
9789038605265
Uitgever
Technische Universiteit Eindhoven
NUR
982 · Informatica & management
Serie
BETA working papers · WP-136

Lijkt op dit boek

Omslag van Drempelloos digitaal
Drempelloos digitaal
Omslag van Le numérique sans barrières
Le numérique sans barrières
Omslag van AI-implementatie bij lokale besturen. Een praktische gids
AI-implementatie bij lokale besturen. Een praktische gids
Omslag van Handboek Power BI
Handboek Power BI
Omslag van Einde van het MVP-tijdperk
Einde van het MVP-tijdperk
Omslag van AI (Act) Compliance Officer Courseware
AI (Act) Compliance Officer Courseware
Omslag van AI (Act) Compliance Officer Courseware
AI (Act) Compliance Officer Courseware
Omslag van AI (Act) Compliance Officer Courseware
AI (Act) Compliance Officer Courseware
Omslag van Amplified Quality Engineering
Amplified Quality Engineering
Omslag van Amplified Quality Engineering
Amplified Quality Engineering
NSTC 501229811 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Process mining and verification of properties
W.M.P. van der Aalst

Process mining and verification of properties

an approach based on temporal logic
W.M.P. van der Aalst
H.T. de Beer · B.F. van Dongen
PaperbackNederlandsDeel WP-136 van BETA working papers →
Bestel bij bol →
In het kort
ISBN-13
9789038605265
Uitgever
Technische Universiteit Eindhoven
NUR
982 · Informatica & management
Serie
BETA working papers · WP-136

Lijkt op dit boek

Alles bekijken →
Omslag van Drempelloos digitaal
Drempelloos digitaal
Linde Verheyden
Omslag van Le numérique sans barrières
Le numérique sans barrières
Linde Verheyden
Omslag van AI-implementatie bij lokale besturen. Een praktische gids
AI-implementatie bij lokale besturen. Een praktische gids
Kristof Cornelis
Omslag van Handboek Power BI
Handboek Power BI
Peter ter Braake
Omslag van Einde van het MVP-tijdperk
Einde van het MVP-tijdperk
William Janssen
Omslag van AI (Act) Compliance Officer Courseware
AI (Act) Compliance Officer Courseware
D-Data
NSTC 501229811 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026