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
Sanjit A. Seshia
Libros
Verified Software: Theories, Tools, and Experiments
2016