[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

Automated Technology for Verification and Analysis

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 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Obrázková němčina 5 jídlo Petr Kupka / Libro
common.buy 1.06 €
Decision Making in Radiation Oncology Jiade J. Lu / Rigido
common.buy 387.38 €
Subjectivity in Troubadour Poetry Sarah Kay / In brossura
common.buy 73.21 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Rigido
common.buy 23.43 €
Design Characteristics of Virtual Learning Environments Daniel Müller / In brossura
common.buy 72.67 €
The Great Pyramid And Theology Joseph A. Seiss / In brossura
common.buy 23.22 €
Algae and Man Daniel F. Jackson / In brossura
common.buy 72.67 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / In brossura
common.buy 92.15 €
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / In brossura
common.buy 91.94 €
Lean Engineering Education Shannon Flumerfelt / Rigido
common.buy 82.41 €
IN PREPARAZIONE
May It Please the Court Ronald Bacigal / Rigido
common.buy 83.80 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / In brossura
common.buy 79.09 €
ASE Test Preparation - T1 Gasoline Engines Delmar Learning / In brossura
common.buy 44.95 €
Mito del Trabajo En Equipo Eugenio Ramírez / In brossura
common.buy 78.02 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / In brossura
common.buy 33.49 €
Common Legal Framework for Takeover Bids in Europe Dirk Van Gerven / Rigido
common.buy 227.13 €

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.

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

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