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
Martin Leucker
Libros
Formal Methods
2023
Formal Methods in Outer Space
2021
Runtime Verification
2018
Theoretical Aspects of Computing - ICTAC 2015
2015
Formal Methods: Applications and Technology
2007
Runtime Verification
2008