«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

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification David L. Dill
Código Libristo: 05274394
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Libro binding.
common.buy 11.09 €
Google adwords CAUMONT / Libro Libro
common.buy 32.79 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Libro Tapa blanda
common.buy 18.19 €
Próximamente Nuevo
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Libro Tapa blanda
common.buy 7.69 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Libro Tapa blanda
common.buy 37.39 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Libro Tapa dura
common.buy 26.19 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Libro Tapa blanda
common.buy 23.29 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Libro Tapa blanda
common.buy 13.79 €
BASICS Psychiatrie Anja Volz / Libro Tapa blanda
common.buy 28.19 €
ARANCINI KUNST Malle Raudsepp / Libro Tapa blanda
common.buy 34.29 €
Les cycles économiques Ferrara / Libro Tapa blanda
common.buy 33.49 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / Libro electrónico Adobe ePub DRM
common.buy 9.29 €
El caballo, cría y manejo Enzo Berner / Libro Tapa blanda
common.buy 23.89 €
13 Gesetze der Weisheit Kim Barkmann / Libro Tapa blanda
common.buy 16.89 €
On Opened Ground Mark-Anthony Turnage / Artículos impresos Partituras
common.buy 48.69 €
Citadino Mistico MOISES RODRIGUEZ / Libro Tapa blanda
common.buy 8.69 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Libro Tapa blanda
common.buy 16.99 €
Geschichtsbilder Jürgen Aretz / Libro Tapa blanda
common.buy 14.19 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Libro Tapa blanda
common.buy 34.49 €
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Libro Tapa blanda
common.buy 23.89 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Libro Tapa blanda
common.buy 10.69 €
Autobiografía de mi madre Jamaica Kincaid / Libro Tapa blanda
common.buy 22.39 €
La Bíblia de tots Pilarín Bayés / Libro Tapa blanda
common.buy 30.89 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Libro Tapa blanda
common.buy 43.39 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1994
Número de páginas 486
EAN 9783540581796
ISBN 3540581790
Código Libristo 05274394
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1520
Dimensiones 155 x 235 x 26

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Topology Optimization Martin Ph. Bendsoe / Libro Tapa blanda
common.buy 157.89 €
Open Heart Surgery Carlos Robinson / Libro Tapa blanda
common.buy 18.89 €
Secure And Policy Compliant Source Routing Rahul D / Libro Tapa blanda
common.buy 54.09 €
Roadside History Thomas H. Appleton Jr / Libro Tapa blanda
common.buy 20.99 €
Love Scrolls Edward Theodore Hayes / Libro Tapa dura
common.buy 23.59 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Libro Tapa blanda
common.buy 23.99 €
Sparkcharts Calculus II Sparknotes LLC / Libro Tapa blanda
common.buy 7.19 €
Sparky the Rescue Dog Saves the Day Gail Westover / Libro Tapa blanda
common.buy 11.59 €
Broadway Michelle Young / Libro Tapa dura
common.buy 25.79 €
Manual of Prayers / Libro Tapa dura
common.buy 55.09 €
Exposition of Browning's 's Ordello' David Duff / Libro Tapa dura
common.buy 34.79 €
Popular
Golden Kamuy, Vol. 1 Satoru Noda / Libro Tapa blanda
common.buy 12.79 €
My Mother, The Liar Ann Troup / Libro electrónico Adobe ePub DRM
common.buy 6.59 €
The Monastery Walter Scott / Libro Tapa blanda
common.buy 25.69 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Libro Tapa blanda
common.buy 18.19 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Libro Tapa blanda
common.buy 20.09 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Libro Tapa blanda
common.buy 18.89 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Libro Tapa blanda
common.buy 73.09 €
Popular
Startup CEO Matt Blumberg / Libro Tapa dura
common.buy 26.19 €
First Generation Student Experience Jeff Davis / Libro Tapa blanda
common.buy 45.49 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Libro Tapa blanda
common.buy 14.69 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Libro Tapa dura
common.buy 149.39 €
Authority and Markets Susan Strange / Libro Tapa blanda
common.buy 60.39 €
Benzofurans A. Mustafa / Libro Tapa dura
common.buy 602.89 €

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