• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

Leveraging Applications of Formal Methods, Verification, and Validation 1st Editie
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Omslagafbeelding: Leveraging Applications of Formal Methods, Verification, and Validation 1st edition 9783642347801
  • Auteur(s)
    Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria
  • Uitgever
    Springer
  • Indeling
    Vaste lay-out
  • ISBN van papieren boek 9783642347801, 3642347800
  • ISBN van eText 9783642347818, 3642347819
  • Editie
    1st
  • Copyright
    2012
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

VitalSource 25+ jaar digitale transformatie

  • 4500 Instelling

  • 230+ Landen en gebieden

  • 10K+ Uitgevers

  • 18M+ Actieve gebruikers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers 1st Editie is geschreven door Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Leveraging Applications of Formal Methods, Verification, and Validation zijn 9783642347818, 3642347819 en de ISBN's voor gedrukt materiaal zijn 9783642347801, 3642347800. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven