• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Omslagafbeelding: Tools and Algorithms for the Construction and Analysis of Systems 9783642367410
  • Auteur(s)
    Author
  • Uitgever
    Springer
  • Indeling
    Vaste lay-out
  • ISBN van papieren boek 9783642367410, 3642367410
  • ISBN van eText 9783642367427, 3642367429
  • Copyright
    2013
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

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Tools and Algorithms for the Construction and Analysis of Systems zijn 9783642367427, 3642367429 en de ISBN's voor gedrukt materiaal zijn 9783642367410, 3642367410. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven