Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
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