• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st Editie

  • Auteur(s) Supratik Chakraborty; ‎Jorge A. Navas
  • Uitgever Gepubliceerd door Springer Copyright © 2020
  • "ISBN-13 9783030415990"
  • Indeling Reflowable lay-out

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

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st Editie is geschreven door Supratik Chakraborty; ‎Jorge A. Navas en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Verified Software. Theories, Tools, and Experiments zijn 9783030416003, 3030416003 en de ISBN's voor gedrukt materiaal zijn 9783030415990, 3030415996. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven