• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783540787990

Tools and Algorithms for the Construction and Analysis of Systems

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

1st Editie

  • Auteur(s) C.R. Ramakrishnan; ‎Jakob Rehof
  • Uitgever Gepubliceerd door Springer Copyright © 2008
  • ISBN-13 9783540787990
  • Indeling Vaste lay-out

eBook

Licentie eTextbook
‌
€27.80 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: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings 1st Editie is geschreven door C.R. Ramakrishnan; ‎Jakob Rehof en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Tools and Algorithms for the Construction and Analysis of Systems zijn 9783540788003, 354078800X en de ISBN's voor gedrukt materiaal zijn 9783540787990, 3540787992. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven