Mijn boeken
← Catalogus
Verification of concurrent systems in a model driven engineering workflow
S.M.J. de Putter

Verification of concurrent systems in a model driven engineering workflow

S.M.J. de Putter
Paperback214 pagina’sEngelsDeel 21 →
In het kort
ISBN-13
9789038646787
Uitgever
Technische Universiteit Eindhoven
Verschenen
28 januari 2019
NUR
980 · Informatica algemeen
Serie
Proefschriftenreeks TU Eindhoven · 21
Imprint
Technische Universiteit Eindhoven

Lijkt op dit boek

Omslag van Dit is voor iedereen
Dit is voor iedereen
Omslag van Nooit te oud voor AI
Nooit te oud voor AI
Omslag van Implementation and Case Studies, Projects and Products
Implementation and Case Studies, Projects and Products
Omslag van Microsoft Flight Simulator 2024 Made Simple
Microsoft Flight Simulator 2024 Made Simple
Omslag van Mastering Microsoft Flight Simulator 2024
Mastering Microsoft Flight Simulator 2024
Omslag van Microsoft Flight Simulator 2024 Made Easy for PS5
Microsoft Flight Simulator 2024 Made Easy for PS5
Omslag van Digitale veerkracht vandaag en morgen
Digitale veerkracht vandaag en morgen
Omslag van Huis van Sinterklaas Hasselt
Huis van Sinterklaas Hasselt
Omslag van Sinterklaashuis
Sinterklaashuis
Omslag van The Killer Isn't June
The Killer Isn't June
NSTC 500354151 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Verification of concurrent systems in a model driven engineering workflow
S.M.J. de Putter

Verification of concurrent systems in a model driven engineering workflow

S.M.J. de Putter
Paperback214 pagina’sEngelsDeel 21 van Proefschriftenreeks TU Eindhoven →
Bestel bij bol →
In het kort
ISBN-13
9789038646787
Uitgever
Technische Universiteit Eindhoven
Verschenen
28 januari 2019
NUR
980 · Informatica algemeen
Serie
Proefschriftenreeks TU Eindhoven · 21
Imprint
Technische Universiteit Eindhoven

Lijkt op dit boek

Alles bekijken →
Omslag van Dit is voor iedereen
Dit is voor iedereen
Tim Berners-Lee
Omslag van Nooit te oud voor AI
Nooit te oud voor AI
Mathieu Van Wezel
Omslag van Implementation and Case Studies, Projects and Products
Implementation and Case Studies, Projects and Products
Shterionov, Vanmassenhove, De Sisto, Blain, Pourmostafa Lepp, Manna, Rescigno, Karakanta, Rigouts Terryn, Lardelli, Resende, Murgolo Hackenbuchner, Zaretskaya, Espla-Gomis, Etchegoyhen, Gromann, Bawden, Haddow, Szoc, Forcada, Moniz (eds.)
Omslag van Microsoft Flight Simulator 2024 Made Simple
Microsoft Flight Simulator 2024 Made Simple
Beck Vale
Omslag van Mastering Microsoft Flight Simulator 2024
Mastering Microsoft Flight Simulator 2024
Riley Mac
Omslag van Microsoft Flight Simulator 2024 Made Easy for PS5
Microsoft Flight Simulator 2024 Made Easy for PS5
Beck Vale
NSTC 500354151 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026