«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

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Alan J. Hu
Código Libristo: 05274836
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Moderno diccionario del diablo MARCIUS SHAPIRO / Libro Tapa dura
common.buy 16.89 €
Próximamente
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Libro Libro
common.buy 11.99 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Libro Hoja
common.buy 13.99 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Libro Tapa blanda
common.buy 14.99 €
Brest abri 668 GERARD Libro Tapa blanda
common.buy 13.19 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Libro Tapa blanda
common.buy 13.19 €
Messmer winterpunsch tee, 50g Juego/Juguete Juguete
common.buy 7.39 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Libro Tapa blanda
common.buy 55.09 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Libro Tapa blanda
common.buy 8.49 €
Hermeneutiken Lutz Danneberg / Libro Tapa dura
common.buy 205.99 €
Hase und Igel Axel Scheffler / Libro Tapa blanda
common.buy 7.39 €
Bu Benim.Zip Asli Serin / Libro Tapa blanda
common.buy 12.19 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Libro Tapa blanda
common.buy 60.99 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Libro Tapa blanda
common.buy 16.09 €
100 Abenteuerreisen Rudolf S Rehberg / Libro Tapa blanda
common.buy 38.49 €
Strategien der Identitätssuche Iris Julia Gütler / Libro Tapa blanda
common.buy 63.59 €
Hannebambel Roland Pecher / Juego/Juguete Juego
common.buy 9.39 €
neue E-Bilanz Judith Pohler / Libro Tapa blanda
common.buy 24.79 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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 Alan J. Hu, Moshe Y. Vardi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1998
Número de páginas 552
EAN 9783540646082
ISBN 3540646086
Código Libristo 05274836
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 720
Dimensiones 156 x 234 x 29

Categorías

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

Selected Articles on Social Insurance. Multiple Contributors / Libro Tapa blanda
common.buy 37.49 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Libro Tapa blanda
common.buy 12.89 €
Kept for Jesus Sam Storms / Libro Tapa blanda
common.buy 19.79 €
Liberal Quicksand Yves Decock / Libro Tapa blanda
common.buy 26.49 €
Fenway Park David Hickey / Libro Tapa blanda
common.buy 21.89 €
The Founding Foodies Dave DeWitt / Libro Tapa blanda
common.buy 22.99 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Libro Tapa blanda
common.buy 18.89 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Libro Tapa blanda
common.buy 13.19 €
Principles of Marketing Philip T. Kotler / Libro Tapa dura
common.buy 273.29 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Libro Tapa dura
common.buy 35.79 €
When the Clouds Fell from the Sky Robert Carmichael / Libro electrónico Adobe ePub DRM
common.buy 4.69 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Libro Tapa blanda
common.buy 30.29 €
THE CHORDATES HERBERT W. 187 RAND / Libro Tapa blanda
common.buy 37.69 €
Uncovered Ian Birch / Libro Tapa dura
common.buy 53.29 €
Third Sector Meghan Kallman / Libro Tapa blanda
common.buy 26.89 €
Orson Welles Chris Wade / Libro Tapa blanda
common.buy 16.19 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Libro Tapa dura
common.buy 146.19 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Libro Tapa blanda
common.buy 41.89 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Libro Tapa dura
common.buy 60.39 €
Dark Object Don Ledger / Libro Tapa blanda
common.buy 7.29 €
ENT MCQs for Medical Students Mannu Odutoye / Libro Tapa blanda
common.buy 57.89 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Libro Tapa dura
common.buy 319.79 €
Companion to 19th-Century America Barney / Libro Tapa blanda
common.buy 63.89 €
Vegan Family Meals Ann Gentry / Libro Tapa dura
common.buy 25.09 €

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