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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification E. Allen Emerson
Codice Libristo: 01567506
Casa editrice Springer, Berlin, novembre 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Descrizione completa
? points 277 b
113.19 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Pokémon: Mein großer Pokémon-Block Panini / Libro In brossura
common.buy 9.19 €
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Libro In brossura
common.buy 13.59 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Libro In brossura
common.buy 137.39 €
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Libro Libro
common.buy 11.89 €
Las celdas de mi cuerpo Rivero / Libro In brossura
common.buy 4.79 €
BIDAIA SANNA / Libro Rigido
common.buy 21.89 €
Principes d'analyse fonctionnelle WILLEM / Libro In brossura
common.buy 37.99 €
Le Livre des merveilles du monde Polo / Libro In brossura
common.buy 4.59 €
Phi Phi Island Josef Haslinger / Libro In brossura
common.buy 14.19 €
Vogesen Curt Mundel / Libro In brossura
common.buy 60.59 €
Standards der OP-Patientenlagerung Sadik Duru / Libro In brossura
common.buy 68.89 €
Ruckkehr Der Zeitmaschine Egon Friedell / Libro Rigido
common.buy 23.39 €
LES SOEURS DE PRAGUE J. Garcin / Libro In brossura
common.buy 11.79 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Libro In brossura
common.buy 68.99 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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 E. Allen Emerson, A. Prasad Sistla
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2000
Numero di pagine 590
EAN 9783540677703
ISBN 3540677704
Codice Libristo 01567506
Casa editrice Springer, Berlin
Peso 894
Dimensioni 155 x 235 x 30

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
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
Medicina e Infermieristica > Medicina: argomenti di interesse generale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

German Influence on Australian English Markus Bieswanger / Libro In brossura
common.buy 48.69 €
A Woman Loved Andre Makine / Libro In brossura
common.buy 13.19 €
I migliori
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Libro In brossura
common.buy 12.69 €
Cocaine and Rhinestones Wayne White / Libro Rigido
common.buy 28.19 €
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Libro In brossura
common.buy 18.09 €
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Libro In brossura
common.buy 10.69 €
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Libro In brossura
common.buy 9.79 €
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Libro Rigido
common.buy 129.99 €
Mountain Man's Dog Gary Corbin / Libro Rigido
common.buy 19.69 €
Patriarchs, Prophets and Other Villains Lisa Isherwood / Libro In brossura
common.buy 79.89 €
Consciousness Of The Atom Alice a Bailey / Libro In brossura
common.buy 15.49 €
Misguided Obsessions Dinah Walker / Libro In brossura
common.buy 20.59 €
Playwriting Effiong Johnson / Libro Rigido
common.buy 33.69 €
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Libro binding.
common.buy 14.39 €
Ephesians Frank S. Thielman / Libro Rigido
common.buy 45.09 €
Inner Grace Phillip Cary / Libro Rigido
common.buy 91.99 €
Embryos under the Microscope Jane Maienschein / Libro Rigido
common.buy 50.49 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Libro In brossura
common.buy 10.29 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Libro Rigido
common.buy 107.29 €
Plant Toxin Analysis Hans F. Linskens / Libro Rigido
common.buy 209.99 €
Small Bodies in Planetary Systems I. Mann / Libro Rigido
common.buy 53.79 €

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