Nuevo
Libro Computer-aided Verification : A Special Issue Of Fo...
en 48x
Disponible 24 dĂas despuĂ©s de tu compra
MercadoLĂder | +5mil ventas
Vendido por LIBERIMPORTACINSASLIBERIMP
MercadoLĂder Platinum
+5mil
Ventas concretadas
Brinda buena atenciĂłn
Entrega sus productos a tiempo
Medios de pago
Tarjetas de crédito
¡Paga en hasta 48 cuotas!
Tarjetas de débito
Efectivo
CaracterĂsticas del producto
CaracterĂsticas principales
TĂtulo del libro | Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aide... |
|---|---|
Autor | Robert Kurshan |
Idioma | Inglés |
Editorial del libro | Springer-Verlag New York Inc. |
Tapa del libro | Blanda |
Marca | Springer-Verlag New York Inc. |
Modelo | Robert Kurshan |
Otras caracterĂsticas
Altura | 235 mm |
|---|---|
Ancho | 155 mm |
Peso | 222 g |
Con realidad aumentada | No |
Tipo de narraciĂłn | Libro |
Edad mĂnima recomendada | 0 años |
Edad máxima recomendada | 100 años |
ISBN | 9781461365792 |
Preguntas y respuestas
¿Qué quieres saber?
PregĂşntale al vendedor
Nadie ha hecho preguntas todavĂa.
¡Haz la primera!