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.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings eBook de

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

ebook,ebook
Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783319955827
  • Fecha de lanzamiento:11 jul 2018
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:11.57 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)