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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Automated Technology for Verification and Analysis Zhiming Liu
Codice Libristo: 01650641
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Libro In brossura
common.buy 45.59 €
#dkinfografik. Management einfach erklärt Alexandra Black / Libro Rigido
common.buy 17.79 €
Ouroboros Joel Gissy / Libro In brossura
common.buy 6.99 €
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Libro Rigido
common.buy 31.09 €
In preparazione
Adventní kalendář – Minecraft / Libro Rigido
common.buy 26.59 €
The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Libro Rigido
common.buy 13.69 €
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Libro In brossura
common.buy 6.39 €
Пересвет Виктор Поротников / Libro Rigido
common.buy 17.39 €
Nuovi
Arcobaleni Yasunari Kawabata / Libro In brossura
common.buy 16.29 €
Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND / Libro In brossura
common.buy 7.19 €
Graues Meer und blaue Sonnen Nathan Jaeger / Libro In brossura
common.buy 12.79 €
Terradentro XOSE BENITO REZA / Libro In brossura
common.buy 23.29 €
Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel / Libro In brossura
common.buy 12.79 €
I migliori
Obrázková němčina 5 jídlo Petr Kupka / Libro Libro
common.buy 0.99 €
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Libro In brossura
common.buy 65.29 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Libro In brossura
common.buy 28.99 €
Mito del Trabajo En Equipo Eugenio Ramírez / Libro In brossura
common.buy 54.99 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Libro In brossura
common.buy 65.19 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Libro In brossura
common.buy 55.29 €
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Libro In brossura
common.buy 19.79 €
Georgische Verbtabellen Steffi Chotiwari-Jünger / Libro In brossura
common.buy 22.79 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Libro Rigido
common.buy 21.49 €
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Libro In brossura
common.buy 3.09 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

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 Automated Technology for Verification and Analysis
Autore Zhiming Liu, Anders P. Ravn
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2009
Numero di pagine 414
EAN 9783642047602
ISBN 3642047602
Codice Libristo 01650641
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 652
Dimensioni 155 x 235 x 24

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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 > Teoria matematica della computazione
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

Decision Making in Radiation Oncology Jiade J. Lu / Libro Rigido
common.buy 243.19 €
Design Characteristics of Virtual Learning Environments Daniel Müller / Libro In brossura
common.buy 53.79 €
SUPERCLASS David Rothkopf / Libro In brossura
common.buy 23.49 €
In preparazione
Bosnia's Paralysed Peace Christopher Bennett / Libro In brossura
common.buy 26.59 €
Cone Penetration Testing in Geotechnical Practice P.K. Robertson / Libro Rigido
common.buy 563.59 €
Security, Development and the Fragile State Yiagadeesen Samy / Libro Rigido
common.buy 245.99 €
Defiance: Fall of an Empire Tom Ryker / Libro In brossura
common.buy 19.09 €
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Libro In brossura
common.buy 63.39 €
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Libro In brossura
common.buy 14.89 €
Author's Daughter. [A Novel.] Catherine Helen Spence / Libro In brossura
common.buy 25.69 €
The Great Pyramid And Theology Joseph A. Seiss / Libro In brossura
common.buy 19.09 €
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Libro In brossura
common.buy 15.89 €
Self Love and the Healing of Our Animal Friends Betsy Adams / Libro Rigido
common.buy 23.49 €
Different Shades of Gray Sand Q Perry / Libro In brossura
common.buy 20.09 €
EASY LOTUS NOTES 4.5 MARMEL / Libro Libro
common.buy 35.49 €
Pentecostalism - Origins and Developments Worldwide Walter J. Hollenweger / Libro In brossura
common.buy 48.49 €
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Libro In brossura
common.buy 20.79 €
Essentials of Environmental Science Andrew Friedland / Libro In brossura
common.buy 303.29 €
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Libro In brossura
common.buy 24.99 €
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Libro Rigido
common.buy 34.79 €
What is Medieval History? John H. Arnold / Libro In brossura
common.buy 20.49 €
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Libro Rigido
common.buy 138.69 €
Conceptual Structure in Childhood and Adolescence Christine Howe / Libro In brossura
common.buy 60.49 €
What A Trip It Was John Brookes / Libro In brossura
common.buy 14.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