[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 Rajeev Alur
Codice Libristo: 05274597
Casa editrice Springer, Berlin, novembre 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / In brossura
common.buy 43.34 €
Taking Stock John David Stewart / In brossura
common.buy 56.94 €
Urban Development in India Pablo S. Bose / Rigido
common.buy 165.37 €
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Rigido
common.buy 141.71 €
Role of the International Community in Domestic Politics Tsitsi Muvunzi / In brossura
common.buy 59.29 €
African Women's Report United Nations: Economic Commission for Africa / In brossura
common.buy 58.54 €
It'll All Be Wrong on the Night Reginald Frary / In brossura
common.buy 15.19 €
Reformation in Germany C. Scott Dixon / Rigido
common.buy 170.40 €
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Poster
common.buy 17.54 €
U.S. Led Sanctions on Iran Danielle A. Wilson / Rigido
common.buy 241.48 €
Huhner-Malbuch 3 & 4 Nick Snels / In brossura
common.buy 20.54 €
Critical Introduction to Fictionalism KOON FREDRICK / In brossura
common.buy 37.45 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

Informazioni sul libro

Titolo completo Computer Aided Verification
Autore Rajeev Alur, Thomas Henzinger
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1999
Numero di pagine 479
EAN 9783540614746
ISBN 3540614745
Codice Libristo 05274597
Casa editrice Springer, Berlin
Peso 630
Dimensioni 156 x 234 x 25

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

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