Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. Ve a nuestra librería de Estados Unidos para continuar.

Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings eBook de

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319336930
  • Fecha de lanzamiento:5 jul 2016
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:7.30 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Runtime Verification

Erika Ábrahám,Houssam Abbas