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

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Codice Libristo: 01558944
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Libro In brossura
common.buy 6.99 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Libro In brossura
common.buy 29.59 €
Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Libro In brossura
common.buy 31.49 €
I migliori
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Libro Rigido
common.buy 11.49 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Libro In brossura
common.buy 9.79 €
"Me noto muy cambiá" JOSE L. CUERDA / Libro In brossura
common.buy 13.29 €
Koran Hermann-Josef Frisch / Libro In brossura
common.buy 24.79 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Libro In brossura
common.buy 19.09 €
Sóvárgás Tracy Wolff / Libro Rigido
common.buy 16.49 €
Jeremias librorum sacrorum interpres atque vindex Augustus Kueper / Libro Rigido
common.buy 145.89 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Libro In brossura
common.buy 21.29 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Libro In brossura
common.buy 159.39 €
Stvorenie hriechu Michal Kučerka / Libro In brossura
common.buy 8.29 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Libro In brossura
common.buy 16.09 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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 Bernhard Steffen, Giorgio Levi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 325
EAN 9783540208037
ISBN 3540208038
Codice Libristo 01558944
Casa editrice Springer, Berlin
Peso 480
Dimensioni 156 x 234 x 18

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

Unlevel Crossings Michael O'Leary / Libro In brossura
common.buy 7.49 €
Brill's New Pauly, Antiquity, Volume 5 (Equ - Has) Helmuth Schneider / Libro Rigido
common.buy 500.79 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Libro In brossura
common.buy 38.79 €
History of the Roman Empire John Bagnell Bury / Libro In brossura
common.buy 57.39 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Libro In brossura
common.buy 14.49 €
NRSV Reference Bible, NR560:X BIBLE / Libro Rigido
common.buy 21.19 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Libro In brossura
common.buy 57.79 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Libro In brossura
common.buy 28.09 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Libro In brossura
common.buy 8.89 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Libro In brossura
common.buy 7.99 €
The Things We Do For Love: Luke & Shelly Anita Louise / Libro In brossura
common.buy 13.49 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Libro In brossura
common.buy 40.19 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Libro Rigido
common.buy 47.79 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Libro In brossura
common.buy 20.99 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Libro In brossura
common.buy 5.89 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Libro Rigido
common.buy 27.89 €
Cybersecurity Evan Jones / Libro In brossura
common.buy 56.09 €
Self-Determination and Secession in International Law Christian Walter / Libro Rigido
common.buy 216.39 €
Geometry IV Yu. G. Reshetnyak / Libro Rigido
common.buy 113.19 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Libro Rigido
common.buy 57.79 €
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Libro In brossura
common.buy 20.39 €
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Libro In brossura
common.buy 131.79 €
History, Politics, and the Novel Dominick LaCapra / Libro In brossura
common.buy 52.79 €
In Subordination Mary Kinnear / Libro In brossura
common.buy 42.79 €

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?