Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, 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