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

Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Imagen de portada: Formal Methods for Executable Software Models 9783319073163
  • Editorial
    Springer
  • Formato
    Diseño fijo
  • ISBN de versión impresa 9783319073163, 3319073168
  • ISBN de libro electrónico 9783319073170, 3319073176
  • Copyright
    2014
Alquilar o comprar libro de texto electrónico
‌‌
€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

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Formal Methods for Executable Software Models son 9783319073170, 3319073176 y los ISBN de versión impresa son 9783319073163, 3319073168. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

Volver al principio