«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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Ed Brinksma
Código Libristo: 01564506
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... 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

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Libro Tapa blanda
common.buy 30.39 €
Tiere und ihr Zuhause Claudia Boldt / Juego/Juguete Juego
common.buy 15.69 €
¡De vacaciones! PETER KNORR / Libro Tapa blanda
common.buy 16.99 €
O Livro de Metatron - O Anjo da Presença Max Stone / Libro Tapa blanda
common.buy 16.09 €
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Libro Tapa blanda
common.buy 8.09 €
Čeho bychom se měli obávat? John Brockman / Libro Tapa blanda
common.buy 12.99 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Libro Tapa blanda
common.buy 32.89 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Juego/Juguete Juego
common.buy 46.69 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Libro Tapa blanda
common.buy 77.69 €
20.000 leguas de viaje submarino Jules Verne / Libro Tapa dura
common.buy 15.90 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Libro Tapa blanda
common.buy 41.09 €
Lean Management Andreas Kammel / Libro Tapa blanda
common.buy 46.69 €
Journal Martin du Gard / Libro Tapa dura
common.buy 70.69 €
Magdeburger Drogenmarkt Sven Paschke / Libro Tapa blanda
common.buy 37.49 €
Cocktails Manuela Eder / Libro Tapa dura
common.buy 6.19 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Libro Tapa dura
common.buy 24.69 €
Abenteuer des schwarzen Gerard 2 Karl May / Libro Tapa dura
common.buy 29.59 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Libro Tapa dura
common.buy 33.39 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 362
EAN 9783540439974
ISBN 3540439978
Código Libristo 01564506
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 2010
Dimensiones 155 x 233 x 36

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
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
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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Libro Tapa blanda
common.buy 14.69 €
Introduction to Home Management Sandhya Rani Mohanty / Libro Tapa blanda
common.buy 39.49 €
Popular
Let's Find Momo! Andrew Knapp / Libro Libro de concertinas
common.buy 11.79 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Libro Tapa dura
common.buy 40.69 €
SAXON MATH COURSE 1 Saxpub / Libro Tapa dura
common.buy 228.59 €
Taste of Home How Do I Make...? Editors at Taste of Home / Libro Tapa blanda
common.buy 18.29 €
Under the Gaslight Augustin Daly / Libro Tapa blanda
common.buy 13.89 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Libro Tapa blanda
common.buy 10.69 €
Cheerleading Kaitlyn Duling / Libro Tapa dura
common.buy 35.59 €
Pediatric Dysphagia Julina Ongkasuwan / Libro Tapa dura
common.buy 154.79 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Libro Tapa blanda
common.buy 12.69 €
Housing in Taiwan William D.H. Li / Libro Tapa dura
common.buy 178.29 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Libro Tapa blanda
common.buy 18.19 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Libro Tapa blanda
common.buy 30.49 €
Hawaiian Chihuahua Ukulele Tabs / Libro Tapa blanda
common.buy 9.79 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Libro Tapa blanda
common.buy 205.09 €
Sunkisses Larsee H Mac / Libro Tapa blanda
common.buy 15.39 €
Popular
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Libro Tapa dura
common.buy 21.89 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Libro Tapa blanda
common.buy 28.79 €
Epic Drives of the World 1 Lonely planet eng / Libro Tapa blanda
common.buy 17.29 €
Inspired Winsome James / Libro Tapa blanda
common.buy 18.19 €
Crime for the Books Kate Young / Libro electrónico Adobe ePub DRM
common.buy 18.89 €
Popular
Eden of Witches Volume 1 YUMEJI / Libro Tapa blanda
common.buy 11.69 €
Research Methods in Publishing and Book Studies Rachel Noorda / Libro Tapa blanda
common.buy 62.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