• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

Software Verification 1st Editie
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Omslagafbeelding: Software Verification 1st edition 9783030636173
  • Auteur(s)
    Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala
  • Uitgever
    Springer
  • Indeling
    Reflowable lay-out
  • ISBN van papieren boek 9783030636173, 3030636178
  • ISBN van eText 9783030636180, 3030636186
  • Editie
    1st
  • Copyright
    2020
eTextbook huren of kopen
‌‌
€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

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers 1st Editie is geschreven door Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Software Verification zijn 9783030636180, 3030636186 en de ISBN's voor gedrukt materiaal zijn 9783030636173, 3030636178. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven