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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Tools and Algorithms for the Construction and Analysis of Systems Holger Hermanns
Codice Libristo: 01561835
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2006
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Alg... Descrizione completa
? points 122 b
49.99 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Der reiche Mann John Galsworthy / Libro In brossura
common.buy 11.79 €
INVASIÓN PERINEURAL: LA VÍA SILENCIOSA DE PROPAGACIÓN DEL CÁNCER Jaya Joshi / Libro In brossura
common.buy 34.19 €
FRISSONS - LA MUSIQUE DU DIABLE Marc VOLTENAUER / Libro In brossura
common.buy 9.89 €
Arabella Emilio De Marchi / Libro Rigido
common.buy 33.09 €
LES CRONOCCUMS / Libro Rigido
common.buy 12.99 €
LAS RESIDENCIAS QUE QUEREMOS RODRIGUEZ RODRIGUEZ / Libro In brossura
common.buy 16.89 €
THE EAGLE (FIRST DISCOVERY) / Libro Libro
common.buy 15.49 €
Ma petite encyclo du chat Jobé-Truffer / Libro In brossura
common.buy 16.29 €
Nichtwahler - Wer sind sie? Philip Voelcker / Libro In brossura
common.buy 20.29 €
Convallaria maialis, son action physiologique sur le coeur REBOUL-C / Libro In brossura
common.buy 11.49 €
Le Barbier de Seville Ou La Precaution Inutile, Grand Opera En Quatre Actes CASTIL-BLAZE / Libro In brossura
common.buy 10.69 €
Prolin. Cuaderno de trabajo 1 Judith Suro / Libro In brossura
common.buy 9.89 €
Materialien & Kopiervorlagen zu Sir Arthur Conan Doyle, Der Hund von Baskerville Christian Somnitz / Libro In brossura
common.buy 15.99 €
Berichte Zur Lebensmittelsicherheit 2012 Bundesamt Für Verbraucherschutz Und Lebe / Libro In brossura
common.buy 29.09 €
Integrationsmoeglichkeiten unterschiedlicher Anwendungstypen in der IBM Workplace-Technologie Ernst Schobesberger / Libro In brossura
common.buy 37.29 €

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.

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 Tools and Algorithms for the Construction and Analysis of Systems
Autore Holger Hermanns, Jens Palsberg
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 512
EAN 9783540330561
ISBN 3540330569
Codice Libristo 01561835
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1610
Dimensioni 152 x 229 x 32

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

See Jane Run David E. Campbell / Libro Rigido
common.buy 135.39 €
Father I Never Knew I Had Kristi Pryor / Libro Rigido
common.buy 28.29 €
Letters On The Organization And Early History Of The Methodist Episcopal Church (1850) Alexander McCaine / Libro In brossura
common.buy 22.69 €
International Handbook of Addiction Behaviour Ilana Belle Glass / Libro Rigido
common.buy 209.49 €
Jewish Exiles and European Thought in the Shadow of the Third Reich David Weinstein / Libro Rigido
common.buy 102.59 €
DEER & BOAR IN GAELIC LITERATU Various Authors / Libro In brossura
common.buy 17.99 €
Silenus (1884) Thomas Woolner / Libro In brossura
common.buy 17.89 €
The Coming of Karuna: A Vision of Creative Love Ranjee G. Shahani / Libro In brossura
common.buy 17.89 €

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