Mijn boeken
← Catalogus
Automatic simulation and verification of UML activity diagrams, by translation to X and promela
M.A.F. Jansen

Automatic simulation and verification of UML activity diagrams, by translation to X and promela

M.A.F. Jansen
Hardback50 pagina’sNederlands
In het kort
ISBN-13
9789044401301
Uitgever
Technische Universiteit Eindhoven
NUR
600 · Non-fictie informatief/professioneel algemeen

Lijkt op dit boek

Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Abundance
Abundance
Omslag van Abundance
Abundance
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Omslag van Lang leve literaire competentie
Lang leve literaire competentie
Omslag van Als je gevoel er niet mag zijn
Als je gevoel er niet mag zijn
Omslag van Fight or flight op de werkvloer
Fight or flight op de werkvloer
Omslag van Werkboek Betere Keuzes
Werkboek Betere Keuzes
Omslag van De definitieve gids voor instructional coaching
De definitieve gids voor instructional coaching
NSTC 500997540 · CB-relatie 8196837 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Automatic simulation and verification of UML activity diagrams, by translation to X and promela
M.A.F. Jansen

Automatic simulation and verification of UML activity diagrams, by translation to X and promela

M.A.F. Jansen
Hardback50 pagina’sNederlands
Bestel bij bol →
In het kort
ISBN-13
9789044401301
Uitgever
Technische Universiteit Eindhoven
NUR
600 · Non-fictie informatief/professioneel algemeen

Lijkt op dit boek

Alles bekijken →
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Abundance
Abundance
Ezra Klein
Omslag van Abundance
Abundance
Ezra Klein
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Edward De Vooght
Omslag van Lang leve literaire competentie
Lang leve literaire competentie
Anne Kool
NSTC 500997540 · CB-relatie 8196837 · Bijgewerkt 6 augustus 2026