Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
eBook
€16.35 EUR
-
Studietools
Ingebouwde studiehulpmiddelen zoals markeringen en meer
-
Hardop voorlezen
Luister en lees mee terwijl Bookshelf voorleest
-
Offline toegang
Altijd en overal toegang tot je eTextbook
-
Algemene zoekfunctie
Doorzoek de boekinhoud, illustraties en je werkmap