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

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Codice Libristo: 01560226
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

la discesa Lucio Mencatelli / Libro In brossura
common.buy 9.79 €
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Libro In brossura
common.buy 32.39 €
Una ética para laicos Rorty / Libro In brossura
common.buy 8.39 €
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Libro Ad anelli
common.buy 9.69 €
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Libro In brossura
common.buy 37.39 €
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Libro In brossura
common.buy 42.89 €
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Libro In brossura
common.buy 26.09 €
Traumangeln auf Königsfische Rainer J. Bouterwek / Libro Rigido
common.buy 29.29 €
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Libro In brossura
common.buy 26.19 €

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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 Radhia Cousot
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 483
EAN 9783540242970
ISBN 354024297X
Codice Libristo 01560226
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1530
Dimensioni 155 x 235 x 27

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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Libro In brossura
common.buy 13.59 €
Way of the Argosi Sebastien de Castell / Libro Rigido
common.buy 20.59 €
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Libro Rigido
common.buy 19.29 €
Crisis of this World Merrill Stephen Mason Merrill / Libro In brossura
common.buy 17.79 €
Empowering Leadership of Tomorrow Ryszard Praszkier / Libro In brossura
common.buy 41.59 €
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Libro In brossura
common.buy 36.89 €
Delarivier Manley: 'The New Atalantis' Manley / Libro Rigido
common.buy 126.09 €
Cornet Student Fred Weber / Libro In brossura
common.buy 19.39 €
Froggy Is the Best Jonathan London / Libro In brossura
common.buy 5.79 €
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Libro In brossura
common.buy 13.99 €
Abortion Stephane Bordeau / Libro In brossura
common.buy 15.89 €
L'Inde Pittoresque (1861) Louis Enault / Libro In brossura
common.buy 44.59 €
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Libro In brossura
common.buy 27.89 €
Child Health & Human Development Yearbook 2010 Joav Merrick / Libro Rigido
common.buy 336.19 €
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Libro In brossura
common.buy 17.09 €
Very Bad Wizard Tamler Sommers / Libro In brossura
common.buy 60.49 €
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Libro In brossura
common.buy 68.89 €
Bloodchild Anna Stephens / Libro In brossura
common.buy 12.49 €

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?