Zoekresultaten voor: *
Resultaat 1 - 1 (van 1)
J. Berendsen Abstraction, prices and probability in model checking timed automata
Non-fictie
Engels | 178 pagina's | BOXPress, Oisterwijk | 2010
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 178 pagina's | BOXPress, Oisterwijk | 2010
Gedrukt boek