«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

Hasta 30 días para devoluciones

Clientes que también han comprado

Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Libro Tapa blanda
common.buy 60.89 €
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 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Libro Tapa blanda
common.buy 41.09 €
20.000 leguas de viaje submarino Jules Verne / Libro Tapa dura
common.buy 18.29 €
Magdeburger Drogenmarkt Sven Paschke / Libro Tapa blanda
common.buy 37.49 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Juego/Juguete Juego
common.buy 46.69 €
L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin / Libro Libro
common.buy 18.19 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Libro Tapa blanda
common.buy 30.59 €
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 €
O Livro de Metatron - O Anjo da Presença Max Stone / Libro Tapa blanda
common.buy 16.09 €
¡De vacaciones! PETER KNORR / Libro Tapa blanda
common.buy 16.99 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Libro Tapa dura
common.buy 26.39 €
Gipfel der Götter. Bd.1 Jiro Taniguchi / Libro Tapa blanda
common.buy 15.89 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Libro Tapa blanda
common.buy 77.69 €
Tiere und ihr Zuhause Claudia Boldt / Juego/Juguete Juego
common.buy 15.69 €
Čeho bychom se měli obávat? John Brockman / Libro Tapa blanda
common.buy 12.99 €
Science Fiction Stories Jürgen Schnaible / Libro Tapa blanda
common.buy 39.29 €
Pomsta za neveru Inéz Melichová / Libro Tapa dura
common.buy 11.39 €
Lean Management Andreas Kammel / Libro Tapa blanda
common.buy 42.09 €
Hayaller Gemisi Koray Avci cakman / Libro Tapa blanda
common.buy 7.89 €
Anna und die mongolische Prinzessin: Quentin Akademie der magischen Künste und Wissenschaften, Buch 3 Brigitte Novalis / Libro Tapa blanda
common.buy 14.49 €
Abenteuer des schwarzen Gerard 2 Karl May / Libro Tapa dura
common.buy 29.59 €
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Libro Tapa blanda
common.buy 19.99 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Libro Tapa dura
common.buy 24.69 €

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

Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Libro Tapa blanda
common.buy 30.49 €
Introduction to Home Management Sandhya Rani Mohanty / Libro Tapa blanda
common.buy 39.49 €
Let's Find Momo! Andrew Knapp / Libro Libro de concertinas
common.buy 8.89 €
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 227.29 €
Taste of Home How Do I Make...? Editors at Taste of Home / Libro Tapa blanda
common.buy 18.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 €
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 €
Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Libro Tapa blanda
common.buy 14.59 €
This Is Not A Book Keri Smith / Libro Tapa blanda
common.buy 19.59 €
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.79 €
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 €
LITTLE BUSINESS BOOKS CHANGE FRANKLIN WATTS / Libro Tapa blanda
common.buy 12.49 €
Torchwood The Men Who Sold The World Guy Adams / Audiolibro MP3
common.buy 8.59 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?