• Soluciones de educación y negocios Se abre en una nueva ventana
Imagen de portada: Leveraging Applications of Formal Methods, Verification, and Validation 1st edition 9783642347801

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 Edición

  • Autor(es) Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria
  • Editorial Publicado por Springer Copyright © 2012
  • ISBN-13 9783642347801
  • Formato Diseño fijo

Libro electrónico

Licencia de eTextbook
‌
€15.60 EUR
‌
‌

  • Herramientas de estudio

    Herramientas de estudio incorporadas, como resaltados y más

  • Leer en voz alta

    Escucha y sigue la narración mientras Bookshelf lee para ti

  • Acceso sin conexión

    Accede a tu libro de texto electrónico en cualquier momento y en cualquier lugar

  • Búsqueda general

    Busca entre el contenido del libro, las figuras y tu libro de trabajo

Más informacíón

VitalSource Más de 25 años de transformación digital

  • 4500 Instituciones

  • +230 Países y territorios

  • +10 000 Editores

  • +18 M Usuarios activos

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 Edición está escrito por Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification, and Validation son 9783642347818, 3642347819 y los ISBN de versión impresa son 9783642347801, 3642347800. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

Volver al principio