«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

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Rajeev Alur
Código Libristo: 05274597
Editores Springer, Berlin, noviembre 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... 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

Sobre la salvación del alma Bernard Lievegoed / Libro Tapa blanda
common.buy 14.99 €
Popular
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Libro Tapa blanda
common.buy 24.59 €
Huhner-Malbuch 3 & 4 Nick Snels / Libro Tapa blanda
common.buy 18.49 €
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Artículos impresos Póster
common.buy 19.69 €
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Libro Tapa blanda
common.buy 36.99 €
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Libro Tapa blanda
common.buy 17.89 €
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Libro Tapa blanda
common.buy 30.09 €
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Libro Tapa blanda
common.buy 29.19 €
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Libro Tapa blanda
common.buy 27.09 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Rajeev Alur, Thomas Henzinger
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1999
Número de páginas 479
EAN 9783540614746
ISBN 3540614745
Código Libristo 05274597
Editores Springer, Berlin
Peso 630
Dimensiones 156 x 234 x 25

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Hardware (o soporte físico del ordenador)
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

Easy Guitar Jack Johnson / Libro Tapa blanda
common.buy 22.99 €
Urban Development in India Pablo S. Bose / Libro Tapa dura
common.buy 146.19 €
Bread and Ale for the Brethren Philip Slavin / Libro Tapa blanda
common.buy 42.49 €
Indiana's Ohio River Scenic Byway Leslie Townsend / Libro Tapa blanda
common.buy 21.89 €
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Libro Tapa blanda
common.buy 18.09 €
Philip Larkin and His Audiences G Steinberg / Libro Tapa blanda
common.buy 58.29 €
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Libro Tapa blanda
common.buy 22.99 €
Beyond the Garden Gate Marietta Loehrlein / Libro Tapa blanda
common.buy 15.39 €
Don't Call It Night Amos Oz / Libro Tapa blanda
common.buy 15.39 €
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Libro Tapa blanda
common.buy 12.59 €
Keto Meal Prep Mark Evans / Libro Tapa dura
common.buy 28.19 €
Gene Delivery Yashwant Pathak / Libro Tapa dura
common.buy 215.89 €
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Libro Tapa blanda
common.buy 14.29 €
Making Miniature Period Furniture for Dolls' Houses Angela Law / Libro Tapa blanda
common.buy 24.49 €
Cryopreservation in Assisted Reproduction Ashok Agarwal / Libro Tapa blanda
common.buy 154.79 €
The Rip 2026 Rian Marlowe / Libro Tapa blanda
common.buy 15.39 €
Betty Zane Zane Grey / Libro Tapa blanda
common.buy 19.09 €
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Libro Tapa dura
common.buy 128.29 €
Reformation in Germany C. Scott Dixon / Libro Tapa dura
common.buy 142.99 €
Taking Stock John David Stewart / Libro Tapa blanda
common.buy 40.39 €
It'll All Be Wrong on the Night Reginald Frary / Libro Tapa blanda
common.buy 12.29 €
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Libro Tapa blanda
common.buy 27.69 €
Critical Introduction to Fictionalism KOON FREDRICK / Libro Tapa blanda
common.buy 44.69 €
Próximamente
African Women's Report United Nations: Economic Commission for Africa / Libro Tapa blanda
common.buy 47.99 €

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