← Catalogus

J.J.A. Keiren

2 titels in de boekenbase · Auteur · 2013–2022
Informatica algemeenTheoretische informatica
Over J.J.A. Keiren
J.J.A. Keiren staat met 2 titels in de boekenbase als auteur. Bekend van de serie ‘Proefschriftenreeks TU Eindhoven’. Het werk valt vooral onder informatica algemeen en theoretische informatica. Verschenen tussen 2013 en 2022 bij Open Universiteit Nederland en Technische Universiteit Eindhoven.
System Verification and Testing
S. Schivo
System Verification and Testing
S. Schivo
Drukwerk overig · 2022
Advanced reduction techniques for model checking
J.J.A. Keiren
Advanced reduction techniques for model checking
J.J.A. Keiren
Paperback · 2013
Werkte samen met
F. Verbeek · AuteurI. Bremen · RedacteurN. van Vugt-Hage · AuteurO.R. Valdes · AuteurP. Aho · AuteurS. Schivo · AuteurT.E.J. Vos · Auteur