[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

CONCUR 2011 -- Concurrency Theory

Lingua IngleseInglese
Libro In brossura
Libro CONCUR 2011 -- Concurrency Theory Joost-Pieter Katoen
Codice Libristo: 01658622
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2011
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency T... Descrizione completa
? points 174 b
73.74 €
Magazzino esterno Inviamo tra 13-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

Logic and Games on Automatic Structures ukasz Kaiser / In brossura
common.buy 72.67 €
Welfare for the Wealthy Christopher G. Faricy / In brossura
common.buy 39.38 €
Basic Principles of Analytical Ultracentrifugation Peter Schuck / Rigido
common.buy 165.37 €
In a Better Place Now Karl T Woods / In brossura
common.buy 41.95 €
Sea-Wolf Jack London / In brossura
common.buy 22.04 €
Systen der Altsynagogalen Palästinischen Theologie aus Targum, Midrasch und Talmud Ferdinand Wilhelm Weber / In brossura
common.buy 35.53 €
Koerperbild und Persoenlichkeit Joachim Küchenhoff / Rigido
common.buy 98.36 €
Islamicity Indices Hossein Askari / In brossura
common.buy 85.52 €
Kloester Eberbach und Haina und das Verhaltnis zu den ihnen untergeordneten Zisterzienserinnen Arno Hesse / In brossura
common.buy 82.63 €

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. §The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Informazioni sul libro

Titolo completo CONCUR 2011 -- Concurrency Theory
Autore Joost-Pieter Katoen, Barbara König
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 560
EAN 9783642232169
ISBN 3642232167
Codice Libristo 01658622
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 856
Dimensioni 155 x 235 x 30

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Informatica e Tecnologia dell’Informazione: guide per i consumatori e gli utenti > Guide Internet e servizi online > Ricerche su Internet
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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 > Database > Recupero delle informazioni
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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