Apple
Mac
iPad
iPhone
Watch
AirPods
TV y Casa
Entretenimiento
Soporte de Apple
Dónde comprar
Apple Books
Vista previa
Navegación local - Abrir menú
Navegación local - Cerrar menú
Top libros
Top audiolibros
Gwen Salaün
Libros
Formal Aspects of Component Software
2021
Software Engineering and Formal Methods
2019
Software Technologies: Applications and Foundations
2018
Formal Methods for Industrial Critical Systems
2011