• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

Omslagafbeelding: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228
  • Auteur(s)
    Author
  • Uitgever
    Springer
  • Indeling
    Reflowable lay-out
  • ISBN van papieren boek 9783030837228, 303083722X
  • ISBN van eText 9783030837235, 3030837238
  • Copyright
    2021
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

VitalSource 25+ jaar digitale transformatie

  • 4500 Instelling

  • 230+ Landen en gebieden

  • 10K+ Uitgevers

  • 18M+ Actieve gebruikers

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends zijn 9783030837235, 3030837238 en de ISBN's voor gedrukt materiaal zijn 9783030837228, 303083722X. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven