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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Natasha Sharygina
Codice Libristo: 02075327
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

I ja sam tu, uz vas Smriti Halls / Libro Rigido
common.buy 12.89 €
Vie Abregee Du T. H. Frere Polycarpe / Libro In brossura
common.buy 16.09 €
La société patriarcale face à la résistance des femmes Resta / Libro In brossura
common.buy 35.59 €
Kumulyativnye Zaryady Oleg Minin / Libro In brossura
common.buy 83.79 €
Lebensfunken Akin Yildiz / Libro In brossura
common.buy 11.19 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Libro In brossura
common.buy 16.89 €
La enzima para rejuvenecer HIROMI SHINYA / Libro In brossura
common.buy 19.79 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Libro In brossura
common.buy 44.59 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Libro In brossura
common.buy 16.09 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Libro Rigido
common.buy 31.99 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Libro In brossura
common.buy 17.79 €
Die ewige Philosophie Aldous Huxley / Libro In brossura
common.buy 20.69 €
Tatort Ägypten Arthur Conan Doyle / Libro In brossura
common.buy 19.59 €
In preparazione
Gittertiere 1. Bd.1 Heidi Schär / Libro In brossura
common.buy 27.59 €
In preparazione
Vegetative Physiologie Gerhard Heldmaier / Libro Rigido
common.buy 52.29 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Libro In brossura
common.buy 93.69 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 1015
EAN 9783642397981
ISBN 3642397980
Codice Libristo 02075327
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1539
Dimensioni 155 x 235 x 56

Categorie

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 > Architettura e progettazione logica dei computer
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

Debates in Citizenship Education James Arthur / Libro In brossura
common.buy 66.49 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Libro In brossura
common.buy 10.69 €
Cambridge Companion to the Musical William A. Everett / Libro In brossura
common.buy 47.39 €
The Mammals of Israel Walter W. Ferguson / Libro In brossura
common.buy 29.49 €
Spider Tapestries Mike Allen / Libro In brossura
common.buy 16.09 €
Glyph* Shiro Nishimoto / Libro Rigido
common.buy 23.09 €
Khobar Towers Air Force History and Museums Program / Libro In brossura
common.buy 31.49 €
Dirty Kiss Rhys Ford / Libro In brossura
common.buy 15.39 €
The Passaic Flood of 1903 Marshall Ora Leighton / Libro In brossura
common.buy 17.59 €
Defending Objectivity Margaret Archer / Libro Rigido
common.buy 215.89 €
Compagnie Irlandaise M. W. Kirwan / Libro In brossura
common.buy 24.99 €
Strategic Networking in Small High Tech Firms Mette Monsted / Libro In brossura
common.buy 37.09 €
Wizards' Country DAPHNE ROOKE / Libro In brossura
common.buy 14.49 €
Households as Corporate Firms Krislert Samphantharak / Libro In brossura
common.buy 43.19 €
Exploring Piano Classics Technique Alfred Publishing / Libro In brossura
common.buy 19.59 €
The House of Vanity Hamza Laaouamri / Libro In brossura
common.buy 16.09 €
Inequality in the Digital Economy Andrew White / Libro In brossura
common.buy 143.69 €
Impressive Robert Klanten / Libro In brossura
common.buy 49.79 €
In preparazione Nuovi
The Application of GIS Technologies in the Roman Period Fernandez / Libro In brossura
common.buy 40.69 €
Decentralization and Development Partnership Fumihiko Saito / Libro In brossura
common.buy 53.79 €
Parameter Setting Thomas Roeper / Libro Rigido
common.buy 173.69 €
Environmental History of Medieval Europe Richard Hoffmann / Libro In brossura
common.buy 46.69 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Libro In brossura
common.buy 149.09 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Libro Rigido
common.buy 118.49 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?