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
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings eBook de

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira,Tim A. C. Willemse
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783031471155
  • Fecha de lanzamiento:30 oct 2023
  • Editorial:Springer Nature Switzerland
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:46.53 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Formal Techniques for Distributed Objects, Components, and Systems

Carla Ferreira,Claudio Antares Mezzina