Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Gerard Berry
Codice Libristo: 01563631
Casa editrice Springer, Berlin, novembre 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Libro In brossura
common.buy 26.99 €
La prostitution comme une manière de raconter la ville Charreyron / Libro In brossura
common.buy 22.09 €
Laços Tóxicos Alexandre Marques / Libro In brossura
common.buy 9.39 €
Uprawlenie cepqmi postawok i logistikoj Chethan S / Libro In brossura
common.buy 40.99 €
Le Collier de L'esclave Amanda Roberts / Libro elettronico Adobe ePub DRM
common.buy 6.99 €
HA.DE LA ARQUITECTURA VELARDE / Libro Libro
common.buy 10.79 €
In preparazione
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Libro Libro
common.buy 5.49 €
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Libro Libro
common.buy 62.59 €
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Libro In brossura
common.buy 14.19 €
Musikalische Poetik Bruno Madernas Markus Fein / Libro In brossura
common.buy 98.99 €
La asertividad : para gente extraordinaria EVA BACH COBACHO / Libro In brossura
common.buy 26.29 €
Chemie fur Ingenieure Jan Hoinkis / Libro In brossura
common.buy 51.19 €
Brotarán cuentos Beatriz Giménez de Ory / Libro In brossura
common.buy 17.59 €
Budapest / Pubblicazioni cartacee Mappa
common.buy 10.19 €
Biologische Geographie Hermann Wagner / Libro In brossura
common.buy 46.59 €
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Libro In brossura
common.buy 26.19 €

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Aided Verification
Autore Gerard Berry, Hubert Comon, Alain Finkel
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2007
Numero di pagine 522
EAN 9783540423454
ISBN 3540423451
Codice Libristo 01563631
Casa editrice Springer, Berlin
Peso 794
Dimensioni 155 x 233 x 28

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione di database
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Informatica e Tecnologia dell’Informazione > Database
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Intelligence and Artificial Intelligence Ulrich Ratsch / Libro In brossura
common.buy 107.29 €
Microbial Natural Products Chemistry Taícia Pacheco Fill / Libro Rigido
common.buy 235.79 €
Suffolk Buses John Law / Libro elettronico Adobe ePub DRM
common.buy 14.39 €
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Libro Rigido
common.buy 34.79 €
Social Aesthetics and Moral Judgment Jennifer A. McMahon / Libro elettronico Adobe ePub DRM
common.buy 66.39 €
Next of Kin Wanted Matilda Betham-Edwards / Libro Rigido
common.buy 35.79 €
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Libro In brossura
common.buy 29.49 €
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Libro In brossura
common.buy 20.99 €
The Railway Revolution in Mexico Bernard Moses / Libro In brossura
common.buy 17.29 €
All Measures Short of War Thomas J Wright / Libro In brossura
common.buy 23.79 €
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Libro In brossura
common.buy 77.09 €
Twinflame Shananda / Libro Rigido
common.buy 38.39 €
Blame Me Verland Marshall / Libro In brossura
common.buy 16.39 €
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Libro In brossura
common.buy 20.09 €
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Libro In brossura
common.buy 21.99 €
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Libro Rigido
common.buy 148.69 €
Railways of South and West Scotland Ian Lothian / Libro In brossura
common.buy 17.99 €
Prince of Control Renee Rose / Libro In brossura
common.buy 13.49 €
Nuovi
The Age of the Archangel Michael Emil Bock / Libro In brossura
common.buy 27.99 €
Science and Engineering of Cutting Antony Atkins / Libro In brossura
common.buy 76.19 €
Usefulness in Small Things Kim Colin / Libro In brossura
common.buy 41.49 €
ANTIQUE GEMS FROM THE GREEK AND LATIN THEOCRITUS / Libro Rigido
common.buy 60.19 €
OLD ENGLISH SONGS: FROM VARIOUS SOURCES Hugh Thomson / Libro Rigido
common.buy 38.69 €
The terrible stormy wind and tempest, Novemb. 27th. 1703. Consider'd, improv'd, and collected, to be had in everlasting remembrance. Abednego Seller / Libro In brossura
common.buy 15.59 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo