[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

Topology in Process Calculus

Lingua IngleseInglese
Libro In brossura
Libro Topology in Process Calculus Mingsheng Ying
Codice Libristo: 06794814
Casa editrice Springer-Verlag New York Inc., ottobre 2012
The purpose of this book is to establish a theory of approximate correctness and infinite evolution... 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

Last Man Rodrigo Baltodano / In brossura
common.buy 12.83 €
Metadaten-Management für Data-Warehouse-Systeme Katja Funke / In brossura
common.buy 55.97 €
Designing Democracy Cass R. Sunstein / Rigido
common.buy 134.11 €
Voice of Her Own Woo Schiwy / In brossura
common.buy 26.86 €
International Criminal Tribunal for the Prosecution of Persons United Nations: General Assembly / In brossura
common.buy 15.19 €
Economies of Africa and Asia in the Inter-war Depression (Routledge Revivals) IAN BROWN / Rigido
common.buy 239.77 €
Escenario Punitivo En Uruguay Rolando Arbesún Rodríguez / In brossura
common.buy 128.44 €
Playing with Purpose Kenneth J. Gergen / Rigido
common.buy 193.31 €
Ghts of Maryland Mike Ricksecker / In brossura
common.buy 15.40 €
Post-Structural Genomics Zhiyan Fu / In brossura
common.buy 78.02 €
Women in the Hindu Tradition Mandakranta Bose / Rigido
common.buy 289.54 €
Multimedia Design Interaktiv! Richard S. Schifman / In brossura
common.buy 91.94 €
Africa's Experience with Structural Adjustment / In brossura
common.buy 32.10 €
Dinamica Participativa En El Consejo Educativo Institucional (Conei) Lilia Esmeralda Calderón Almerco / In brossura
common.buy 65.07 €

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Informazioni sul libro

Titolo completo Topology in Process Calculus
Autore Mingsheng Ying
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 220
EAN 9781461265221
ISBN 1461265223
Codice Libristo 06794814
Casa editrice Springer-Verlag New York Inc.
Peso 361
Dimensioni 155 x 235 x 11

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer > Elaborazione parallela
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Matematica e Scienze > Matematica
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

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