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
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings eBook de

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Maurice H. ter Beek,Rosemary Monahan
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783031077272
  • Fecha de lanzamiento:1 jun 2022
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:31.93 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Maurice H. ter Beek,Simon Collart-Dutilleul,Thierry Lecomte

Formal Methods – The Next 30 Years

Maurice H. ter Beek,Annabelle McIver,José N. Oliveira

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek,Stefania Gnesi,Alexander Knapp

Formal Methods: Foundations and Applications

Maurice H. ter Beek,Leopoldo Teixeira

Coordination Models and Languages

Maurice H. ter Beek,Marjan Sirjani

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek,Dejan Ničković