Close
Skip to content
Av. 43 Pte. 108 Despacho 5 Puebla, Puebla
servicio_cliente@tllibros.com
222 257 8918
Facebook-f
Twitter
Products search
$
0.00
0
Cart
Inicio
Blog
Nosotros
Contacto
Mi cuenta
Carrito
Menu
Inicio
Blog
Nosotros
Contacto
Mi cuenta
Carrito
Menu
Inicio
Blog
Nosotros
Contacto
Mi cuenta
Carrito
$
0.00
0
Cart
Products search
Home
/ Product Author / Müller-Olm, Markus
Müller-Olm, Markus
Showing the single result
Default sorting
Sort by popularity
Sort by average rating
Sort by latest
Sort by price: low to high
Sort by price: high to low
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
$
1,889.79
Add to cart
Download Category Catalog
Usamos cookies para asegurar que te damos la mejor experiencia en nuestra web. Si continúas usando este sitio, asumiremos que estás de acuerdo con ello.
Aceptar
