«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Computer-aided Verification

Idioma InglésInglés
Libro Tapa dura
Libro Computer-aided Verification American Mathem American Mathem
Código Libristo: 06319043
Editores American Mathematical Society, junio 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Descripción completa
? points 444 b
181.49 €
50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Política de devolución de 30 días

Clientes que también han comprado

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Libro Tapa blanda
common.buy 23.29 €
Zeis Mati Blum / Libro Tapa blanda
common.buy 16.39 €
Nuvole Bianche Nessa 19971995 / Libro Tapa blanda
common.buy 15.49 €
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Libro Tapa blanda
common.buy 30.09 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Computer-aided Verification
Autor American Mathem American Mathem
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1991
EAN 9780821865941
ISBN 9780821865941
Código Libristo 06319043
Editores American Mathematical Society
Peso 666

Categorías

Matemáticas y ciencias > Matemáticas > Álgebra
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Libro Tapa dura
common.buy 139.69 €
Crystal Path Georgina Easterbrook / Libro Tapa dura
common.buy 23.79 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Libro Libro de concertinas
common.buy 7.19 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Libro Tapa blanda
common.buy 18.09 €
Getting Started with Grails Rudolph / Libro Tapa blanda
common.buy 23.29 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Libro Tapa dura
common.buy 49.49 €
Patterns of a Network Economy Börje Johansson / Libro Tapa blanda
common.buy 118.29 €
Próximamente
Sculptured Thin Films Russell F. Messier / Libro Tapa dura
common.buy 102.19 €
Responsible Management of Information Systems Stahl / Libro Tapa dura
common.buy 90.89 €
Próximamente
Invention of the Moving Assembly Line Dennis Abrams / Libro Tapa dura
common.buy 42.29 €
Próximamente
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Libro Tapa blanda
common.buy 56.59 €
Computer-aided Method Engineering Ajantha Dahanayake / Libro Tapa dura
common.buy 85.39 €
First World, Third World William Ryrie / Libro Tapa dura
common.buy 118.29 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Libro Tapa blanda
common.buy 56.69 €
150 Idees Recues Sur L'Histoir FL / Libro Tapa blanda
common.buy 25.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?