«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?

Hasta 30 días para devoluciones

Clientes que también han comprado

Zeis Mati Blum / Libro Tapa blanda
common.buy 16.39 €
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Libro Tapa dura
common.buy 9.69 €
Sluší mi tento list, Adame? Ladislav Jílek / Libro Tapa blanda
common.buy 3.39 €
Nuvole Bianche Nessa 19971995 / Libro Tapa blanda
common.buy 15.49 €
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Libro Tapa blanda
common.buy 35.89 €
the coil of a snake CHRISTELLE / Libro Tapa blanda
common.buy 57.59 €
Les plantes ? Couplan / Libro Tapa blanda
common.buy 23.89 €
Alef Paulo Coelho / Libro Tapa dura
common.buy 7.99 €
La Communication En Milieu Hospitalier Nzabamwita-V / Libro Tapa blanda
common.buy 55.09 €
Logarithmischen Potentiales Axel Harnack / Libro Tapa blanda
common.buy 23.19 €
Poslední film Zuzany Bergové Jan Jandourek / Libro Tapa blanda
common.buy 8.79 €
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Libro Tapa blanda
common.buy 26.09 €
Confidencias y confesiones José María de Llanos / Libro Tapa blanda
common.buy 13.49 €
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Libro Tapa blanda
common.buy 23.29 €

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 130.09 €
Crystal Path Georgina Easterbrook / Libro Tapa dura
common.buy 23.79 €
Korean War Korea Institute of Military History / Libro Tapa blanda
common.buy 43.09 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Libro Libro de concertinas
common.buy 7.19 €
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Libro Tapa blanda
common.buy 15.09 €
Hobby-horse Arthur W. Pinero / Libro Tapa blanda
common.buy 17.79 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Libro Tapa blanda
common.buy 18.09 €
Leaving Jesus James Wood Jr / Libro Tapa blanda
common.buy 14.39 €
Symbolic Immortality Sergei Kan / Libro Tapa blanda
common.buy 49.19 €
It's Ryan's Ranch Joyce Marie / Libro Tapa blanda
common.buy 15.59 €
Getting Started with Grails Rudolph / Libro Tapa blanda
common.buy 19.59 €
Patterns of a Network Economy Börje Johansson / Libro Tapa blanda
common.buy 118.29 €
150 Idees Recues Sur L'Histoir FL / Libro Tapa blanda
common.buy 24.99 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Libro Tapa blanda
common.buy 57.89 €
First World, Third World William Ryrie / Libro Tapa dura
common.buy 118.29 €
Computer-aided Method Engineering Ajantha Dahanayake / Libro Tapa dura
common.buy 87.99 €
Próximamente
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Libro Tapa blanda
common.buy 56.19 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Libro Tapa dura
common.buy 49.49 €
Próximamente
Invention of the Moving Assembly Line Dennis Abrams / Libro Tapa dura
common.buy 41.99 €
Responsible Management of Information Systems Stahl / Libro Tapa dura
common.buy 93.69 €
Próximamente
Sculptured Thin Films Russell F. Messier / Libro Tapa dura
common.buy 101.79 €

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