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
Annabelle McIver
Libros
Formal Methods – The Next 30 Years
2019
Quantitative Evaluation of Systems
2018
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Abstraction, Refinement and Proof for Probabilistic Systems
2006