← Catalogus

D. Bosnacki

1 titel in de boekenbase · Auteur
Informatica algemeen
Over D. Bosnacki
D. Bosnacki staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder informatica algemeen.
Enhancing state space reduction techniques for model checking
D. Bosnacki
Enhancing state space reduction techniques for model checking
D. Bosnacki
Paperback