• Soluciones de educación y negocios Se abre en una nueva ventana

Theoretical and Practical Aspects of SPIN Model Checking 1st Edición
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Imagen de portada: Theoretical and Practical Aspects of SPIN Model Checking 1st edition 9783540664994
  • Autor(es)
    Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
  • Editorial
    Springer
  • Formato
    Diseño fijo
  • ISBN de versión impresa 9783540664994, 3540664998
  • ISBN de libro electrónico 9783540482345, 3540482342
  • Edición
    1st
  • Copyright
    1999
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

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st Edición está escrito por Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Theoretical and Practical Aspects of SPIN Model Checking son 9783540482345, 3540482342 y los ISBN de versión impresa son 9783540664994, 3540664998. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

Volver al principio