• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Omslagafbeelding: Critical Systems: Formal Methods and Automated Verification 9783319671123
  • Uitgever
    Springer
  • Indeling
    Reflowable
  • ISBN van papieren boek 9783319671123, 331967112X
  • ISBN van eText 9783319671130, 3319671138
  • Copyright
    2017
eTextbook huren of kopen
‌‌‌
€16.35 EUR
‌

's Werelds nr. 1 eTextbook-reader voor studenten. VitalSource is toonaangevend laanbieder van online tekstboeken en cursusmateriaal. Meer dan 15 miljoen gebruikers hebben het afgelopen jaar gebruik gemaakt van ons platform Bookshelf om hun leerervaring en resultaten te verbeteren. Door de altijd en overal toegankelijke functies en ingebouwde hulpmiddelen zoals markeerstiften, flitskaarten en studiegroepen, is het geen wonder dat zo veel studenten digitaal studeren met Bookshelf.

  • Meer dan 2,7 miljoen titels beschikbaar bij meer dan 1000 uitgevers

  • Meer dan 65.000 klantbeoordelingen met een gemiddelde waardering van 9,5

  • Meer dan 5 miljard digitale pagina's bekeken in de afgelopen 12 maanden

  • Meer dan 7000 instellingen die Bookshelf gebruiken in 241 landen

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Critical Systems: Formal Methods and Automated Verification zijn 9783319671130, 3319671138 en de ISBN's voor gedrukt materiaal zijn 9783319671123, 331967112X. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven