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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

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 262 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

La société patriarcale face à la résistance des femmes Resta / Libro In brossura
common.buy 31.49 €
Lebensfunken Akin Yildiz / Libro In brossura
common.buy 10.89 €
Vie Abregee Du T. H. Frere Polycarpe / Libro In brossura
common.buy 15.79 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Libro In brossura
common.buy 11.89 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Libro In brossura
common.buy 26.89 €
I ja sam tu, uz vas Smriti Halls / Libro Rigido
common.buy 13.59 €
My Little Pony. Witaj w Equestrii. Książka z magnesami Praca zbiorowa / Libro Rigido
common.buy 7.09 €
In preparazione
Kozoroh Wolfgang Döbereiner / Libro Rigido
common.buy 7.79 €
Deník Henry David Thoreau / Libro Rigido
common.buy 17.19 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Libro In brossura
common.buy 16.89 €
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Libro In brossura
common.buy 29.49 €
La enzima para rejuvenecer HIROMI SHINYA / Libro In brossura
common.buy 12.09 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Libro In brossura
common.buy 42.41 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Libro In brossura
common.buy 14.39 €
Kumulyativnye Zaryady Oleg Minin / Libro In brossura
common.buy 83.79 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Libro In brossura
common.buy 16.69 €
Die ewige Philosophie Aldous Huxley / Libro In brossura
common.buy 20.69 €
In preparazione
Vegetative Physiologie Gerhard Heldmaier / Libro Rigido
common.buy 49.59 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Libro In brossura
common.buy 104.59 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Libro Rigido
common.buy 31.99 €

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

Ecclesiantics: 30 Years of Church Humor Erik Johnson / Libro In brossura
common.buy 10.49 €
Debates in Citizenship Education James Arthur / Libro In brossura
common.buy 67.99 €
Wizards' Country DAPHNE ROOKE / Libro In brossura
common.buy 13.70 €
Strategic Networking in Small High Tech Firms Mette Monsted / Libro In brossura
common.buy 36.99 €
Compagnie Irlandaise M. W. Kirwan / Libro In brossura
common.buy 22.59 €
Defending Objectivity Margaret Archer / Libro Rigido
common.buy 248.29 €
The Mammals of Israel Walter W. Ferguson / Libro In brossura
common.buy 29.09 €
Dirty Kiss Rhys Ford / Libro In brossura
common.buy 14.99 €
Khobar Towers Air Force History and Museums Program / Libro In brossura
common.buy 28.09 €
Households as Corporate Firms Krislert Samphantharak / Libro In brossura
common.buy 41.79 €
Glyph* Shiro Nishimoto / Libro Rigido
common.buy 20.09 €
American Paint Horse Glynn W. Haynes / Libro In brossura
common.buy 30.29 €
Spider Tapestries Mike Allen / Libro In brossura
common.buy 14.19 €
Witch Stories E. Lynn Linton / Libro Rigido
common.buy 52.29 €
Leisure, Activism, and the Animation of the Urban Environment I R Lamond / Libro elettronico Adobe ePub DRM
common.buy 52.91 €
Cambridge Companion to the Musical William A. Everett / Libro In brossura
common.buy 45.79 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Libro In brossura
common.buy 71.69 €
The House of Vanity Hamza Laaouamri / Libro In brossura
common.buy 15.69 €
Inequality in the Digital Economy Andrew White / Libro In brossura
common.buy 143.79 €
The Application of GIS Technologies in the Roman Period Fernandez / Libro In brossura
common.buy 41.79 €
Impressive Robert Klanten / Libro In brossura
common.buy 44.49 €
Decentralization and Development Partnership Fumihiko Saito / Libro In brossura
common.buy 53.79 €
Parameter Setting Thomas Roeper / Libro Rigido
common.buy 178.89 €
Environmental History of Medieval Europe Richard Hoffmann / Libro In brossura
common.buy 45.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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?