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.

Formal System Verification - State-of the-Art and Future Trends eBook de

Formal System Verification

State-of the-Art and Future Trends

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319576855
  • Fecha de lanzamiento:21 jun 2017
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:3.15 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Recent Findings in Boolean Techniques

Rolf Drechsler,Daniel Große

Advanced Boolean Techniques

Rolf Drechsler,Sebastian Huhn

Advanced Boolean Techniques

Rolf Drechsler,Mathias Soeken