Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656210
Price: 119.39 EUR
Availability: InStock
Author: Tayssir Touili
ISBN: 9783642142949

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili

Byron Cook

Paul Jackson

Lingua

Inglese

Libro In brossura

Codice Libristo: 01656210

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2010

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Descrizione completa

Codice Libristo: 01656210

292 b

119.39 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Vitametrie® Joachim Heuser

In brossura

17.69 €

Inklusive Schule und Vielfalt Gottfried Biewer

In brossura

23.49 €

Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt

In brossura

41.99 €

Personalabrechnung Auf Den Punkt Marianne Kiepe

In brossura

78.69 €

Flockies Krokodýl Camila - sběratelská figurka 5 cm

Giocattolo

4.49 €

A Business Proposal n? 03 Narak

In brossura

18.59 €

Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling

Rigido

25.09 €

Plastic Hearts Miley Cyrus

CD audio

15.89 €

Hermann von Salza Heinrich Hävernick

In brossura

23.39 €

Orta in giallo Erica Gibogini

In brossura

14.29 €

Borkum einst und jetzt B. Huismann

In brossura

16.89 €

Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa

In brossura

15.39 €

Israel Gerrit Michel

In brossura

51.99 €

Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi

In brossura

48.49 €

El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz

In brossura

50.59 €

Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen

In brossura

43.29 €

Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini

In brossura

16.99 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

Attrice & Poliglotta

EWA KASP per

Riproduci video

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 Tayssir Touili, Byron Cook, Paul Jackson

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2010

Numero di pagine 676

EAN 9783642142949

ISBN 364214294X

Codice Libristo 01656210

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 961

Dimensioni 155 x 238 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 > Hardware informatico > Hardware di rete

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

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 > Informatica: argomenti di interesse generale

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

Spatial Analysis and GeoComputation Manfred M. Fischer

In brossura

107.29 €

Research in Computational Molecular Biology Benny Chor

In brossura

59.39 €

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose

Rigido

117.99 €

Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti

In brossura

22.49 €

Laparoscopic Colorectal Surgery Mark Coleman

Rigido

303.69 €

Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer

In brossura

17.79 €