Apple
Mac
iPad
iPhone
Watch
AirPods
TV y Casa
Entretenimiento
Soporte
Dónde comprar
Apple Books
Vista previa
Navegación local - Abrir menú
Navegación local - Cerrar menú
Top libros
Top audiolibros
Wolfgang Ahrendt
Libros
The Logic of Software. A Tasting Menu of Formal Methods
2022
Deductive Software Verification: Future Perspectives
2020
Tests and Proofs
2020
Integrated Formal Methods
2019