Omslagafbeelding: Model Checking Software 9783031661488

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Uitgever Gepubliceerd door Springer Copyright © 2025
"ISBN-13 9783031661488"
Indeling Reflowable lay-out
Beschikbaar vanaf € 16.35 EUR
SKU: 9783031661495R30

eBook

Licentie eTextbook

‌

€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

Meer informatie

25+ jaar digitale transformatie

4500 Instelling
230+ Landen en gebieden
10K+ Uitgevers
18M+ Actieve gebruikers

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Model Checking Software zijn 9783031661495, 3031661494 en de ISBN's voor gedrukt materiaal zijn 9783031661488, 3031661486. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven