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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Madhusudan Parthasarathy
Codice Libristo: 01661539
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Paladear con el cerebro Francisco Javier Cudeiro Mazaira / Libro In brossura
common.buy 15.29 €
Soupis staročeských exempel Karel Dvořák / Libro Rigido
common.buy 10.09 €
Grammaire Anglaise Anne-Marie Bonnerot / Libro In brossura
common.buy 4.59 €
Netzwerk Stefanie Dengler / Libro In brossura
common.buy 21.49 €
Tonio Kröger Thomas Mann / Libro In brossura
common.buy 12.49 €
Gesse wird deheim Svetlana Handschuh / Libro In brossura
common.buy 13.59 €
Hände weg von Mississippi Cornelia Funke / Libro Rigido
common.buy 12.49 €
Die Radiotrinkerin Max Goldt / Libro In brossura
common.buy 13.29 €
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Libro In brossura
common.buy 22.79 €
Blanche-Neige doit mourir Nele Neuhaus / Libro In brossura
common.buy 14.39 €
Karl May Moc fantázie Helmut Schmiedt / Libro Rigido
common.buy 17.29 €
Nunca mas olvidada Christina McKnight / Libro elettronico Adobe ePub DRM
common.buy 5.09 €
La Guerre au XXIe siecle Murawiec Laurent Murawiec / Libro elettronico Adobe ePub DRM
common.buy 19.19 €

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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 Madhusudan Parthasarathy, Sanjit A. Seshia
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 789
EAN 9783642314230
ISBN 3642314236
Codice Libristo 01661539
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1200
Dimensioni 155 x 235 x 44

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 > Ingegneria del software > Test e verifica del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
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 > Hardware informatico
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

Eumon the Treleum F R Kenabiget / Libro Rigido
common.buy 20.39 €
RIGBY PM PLUS Rigby / Libro In brossura
common.buy 59.09 €
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety Jeffery Sims / Libro In brossura
common.buy 11.79 €
Life and Times of A Black Man from Georgia Coach James Carr / Libro In brossura
common.buy 18.89 €
Waste Books Georg Lichtenberg / Libro In brossura
common.buy 14.99 €
Walking the Tightrope of Reason Robert Fogelin / Libro In brossura
common.buy 21.39 €
Atlas of Nevada Conifers David Alan Charlet / Libro In brossura
common.buy 36.89 €
101 Recipes for Making Cheese Cynthia Martin / Libro In brossura
common.buy 30.69 €
Forensic Sciences of CSI Elke Weissmann / Libro In brossura
common.buy 85.09 €
Callback Bill Svanoe / Libro In brossura
common.buy 15.49 €
Lutchmee and Dilloo John Edward Jenkins / Libro In brossura
common.buy 27.19 €
To the Point of a Powerful Return Janice Darty / Libro In brossura
common.buy 17.99 €
Django 1.1 Testing and Debugging K. Tracey / Libro In brossura
common.buy 58.29 €
Britcoms FAQ Dave Thompson / Libro In brossura
common.buy 20.89 €
Space Explorers McGraw-Hill Education / Libro In brossura
common.buy 24.69 €
M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education M-Step Exam Secrets Test Prep / Gioco/giocattolo Gioco
common.buy 41.99 €
Fatigue of the Shari'a A. Ahmad / Libro In brossura
common.buy 55.49 €
European Union and the BRICS Marek Rewizorski / Libro In brossura
common.buy 53.79 €
How Hard Can It Be? Allison Pearson / Libro In brossura
common.buy 12.49 €
Multiplicative Invariant Theory Martin Lorenz / Libro In brossura
common.buy 117.99 €
Steel Wheels Live Rolling Stones / Libro binding.
common.buy 57.49 €
A Handbook Of Rocks: For Use Without The Petrographic Microscope James Furman Kemp / Libro Rigido
common.buy 37.49 €
Soul Plan Blue Marsden / Libro In brossura
common.buy 17.99 €
Extending jQuery Keith Wood / Libro In brossura
common.buy 50.69 €

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?