Mijn boeken
← Catalogus
Verifying workflows with cancellation regions and OR-joins
H.M.W. Verbeek

Verifying workflows with cancellation regions and OR-joins an approach based on invariants

H.M.W. Verbeek
W.M.P. van der Aalst · A.H.M. ter Hofstede
Paperback36 pagina’sNederlandsDeel WP-156 →
In het kort
ISBN-13
9789038606453
Uitgever
Technische Universiteit Eindhoven
NUR
982 · Informatica & management
Serie
BETA working papers · WP-156

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 501237674 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Verifying workflows with cancellation regions and OR-joins
H.M.W. Verbeek

Verifying workflows with cancellation regions and OR-joins

an approach based on invariants
H.M.W. Verbeek
W.M.P. van der Aalst · A.H.M. ter Hofstede
Paperback36 pagina’sNederlandsDeel WP-156 van BETA working papers →
Bestel bij bol →
In het kort
ISBN-13
9789038606453
Uitgever
Technische Universiteit Eindhoven
NUR
982 · Informatica & management
Serie
BETA working papers · WP-156

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 501237674 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026