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.

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
Codice Libristo: 01556086
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 2002
This book constitutes the refereed proceedings of the 4th International Conference on Verification,... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Voyage, découvre, explore. Les espèces mènacées Trevisan / Libro Leporello
common.buy 17.79 €
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Libro In brossura
common.buy 17.19 €
Nový Slovenský jazyk 7. roč.- 1. časť J. Krajčovičová / Libro In brossura
common.buy 15.39 €
Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc / Libro Rigido
common.buy 21.29 €
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Libro In brossura
common.buy 13.09 €
Bella Donna (Remastered) Stevie Nicks / Audio CD audio
common.buy 8.49 €
Question Monetaire: Conference Imhaus-G / Libro In brossura
common.buy 15.09 €
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Libro In brossura
common.buy 26.09 €
Dzdzownica Zaneta Pszczolki Lotniczki / Gioco/giocattolo Gioco
common.buy 14.29 €
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Libro In brossura
common.buy 18.79 €

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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 Verification, Model Checking, and Abstract Interpretation
Autore Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 328
EAN 9783540003489
ISBN 3540003487
Codice Libristo 01556086
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1070
Dimensioni 155 x 233 x 19

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

Advances in Solid State Physics Bernhard Kramer / Libro Rigido
common.buy 214.29 €
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Libro Rigido
common.buy 122.59 €
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Libro Rigido
common.buy 105.89 €
War Years of a Teenager Eugene Cowles / Libro Rigido
common.buy 33.69 €
Theres a Medical Name for This Kerrin P. Sharpe / Libro In brossura
common.buy 16.49 €
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Libro In brossura
common.buy 14.49 €
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Libro In brossura
common.buy 36.69 €
Land Warmed by a Song Rustaveli Publishing LLC / Libro In brossura
common.buy 20.09 €
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Libro In brossura
common.buy 7.99 €
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Libro In brossura
common.buy 11.59 €
Happiness With Positive Thinking: Discard Worries For Happy Living MR Baldev Bhatia / Libro In brossura
common.buy 15.39 €

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?