[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Computer Aided Verification

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 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Exploring Piano Classics Technique Alfred Publishing / In brossura
common.buy 10.27 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Rigido
common.buy 130.80 €
IN PREPARAZIONE
Vegetative Physiologie Gerhard Heldmaier / Rigido
common.buy 56.51 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / In brossura
common.buy 183.14 €
Parameter Setting Thomas Roeper / Rigido
common.buy 220.39 €
Die ewige Philosophie Aldous Huxley / In brossura
common.buy 22.58 €
Households as Corporate Firms Krislert Samphantharak / In brossura
common.buy 50.62 €
Gittertiere 1. Bd.1 Heidi Schär / In brossura
common.buy 25.36 €
Decentralization and Development Partnership Fumihiko Saito / In brossura
common.buy 72.67 €
Environmental History of Medieval Europe Richard Hoffmann / In brossura
common.buy 39.49 €

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.§

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

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