Mijn boeken
← Catalogus
Supporting Railway Standardisation with Formal Verification
M.S. Bouwman

Supporting Railway Standardisation with Formal Verification

M.S. Bouwman
PaperbackEngelsSerie →
In het kort
ISBN-13
9789038658216
Uitgever
Technische Universiteit Eindhoven
Verschenen
23 oktober 2023
NUR
980 · Informatica algemeen
Serie
Proefschriftenreeks TU Eindhoven
Imprint
Technische Universiteit Eindhoven

Lijkt op dit boek

Omslag van Dit is voor iedereen
Dit is voor iedereen
Omslag van The Signal Path
The Signal Path
Omslag van The Killer Isn't June
The Killer Isn't June
Omslag van The Killer Isn’t Alice
The Killer Isn’t Alice
Omslag van The Killer Isn’t June
The Killer Isn’t June
Omslag van The Killer Isn’t the Bride
The Killer Isn’t the Bride
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Omslag van The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
Omslag van The ELM AI Data Modelling Framework - B&W edition
The ELM AI Data Modelling Framework - B&W edition
Omslag van The Killer Isn't Alice
The Killer Isn't Alice
NSTC 501558955 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Supporting Railway Standardisation with Formal Verification
M.S. Bouwman

Supporting Railway Standardisation with Formal Verification

M.S. Bouwman
PaperbackEngelsSerie: Proefschriftenreeks TU Eindhoven →
Bestel bij bol →
In het kort
ISBN-13
9789038658216
Uitgever
Technische Universiteit Eindhoven
Verschenen
23 oktober 2023
NUR
980 · Informatica algemeen
Serie
Proefschriftenreeks TU Eindhoven
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 The Signal Path
The Signal Path
KC Ramo
Omslag van The Killer Isn't June
The Killer Isn't June
June Brittany
Omslag van The Killer Isn’t Alice
The Killer Isn’t Alice
Charlotte Brooklyn
Omslag van The Killer Isn’t June
The Killer Isn’t June
Charlotte Brooklyn
Omslag van The Killer Isn’t the Bride
The Killer Isn’t the Bride
Charlotte Brooklyn
NSTC 501558955 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026