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.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Codice Libristo: 01564460
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... 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

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Libro Rigido
common.buy 63.99 €
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Gioco/giocattolo Gioco
common.buy 11.49 €
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Libro In brossura
common.buy 7.79 €
LE MOULIN DE MES REVES Bonneau / Libro In brossura
common.buy 16.49 €
L'Ouest Américain - West America Najarro / Libro In brossura
common.buy 37.99 €
Le Robert de Poche Plus collegium / Libro In brossura
common.buy 15.19 €
Sana Tu Mente, Cura Tu Cuerpo. Un Programa Revolucionario Para Liberarte del Dolor Cronico Y La Ansiedad / Mind Your Body: A Revolutionary Program to Sachs / Libro In brossura
common.buy 18.09 €
Cómo tener sexo en el trabajo MATS & ENZO / Libro In brossura
common.buy 7.79 €
Leuchtfeuer Corina Bomann / Libro In brossura
common.buy 11.89 €
Puzzle 500 peace collection Light blue 35116 / Gioco/giocattolo Puzzle
common.buy 7.39 €
Wo samstags immer Sonntag ist Markus Flohr / Libro In brossura
common.buy 13.29 €
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Libro In brossura
common.buy 35.49 €
Energie der Poesie Nick Living / Libro In brossura
common.buy 14.09 €
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Libro In brossura
common.buy 6.59 €
La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens / Libro In brossura
common.buy 18.89 €
Stedinger H a Schumacher / Libro In brossura
common.buy 20.59 €
Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong / Libro In brossura
common.buy 13.89 €
In preparazione
Hamburgs dunkle Seiten Kathrin Hanke / Libro Rigido
common.buy 19.59 €
Ergenus Cumhuriyeti Dilek Erdem / Libro In brossura
common.buy 8.59 €
Das afrikanische Gewerbe Heinrich Schurtz / Libro In brossura
common.buy 15.29 €
Les Anti-Inflammatoires Naturels Jennifer Louissa / Libro In brossura
common.buy 16.49 €
I migliori
Lovkyně Kate Quinn / Libro Rigido
common.buy 15.39 €

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

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 Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autore Holger Hermanns, Roberto Segala
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 222
EAN 9783540439134
ISBN 3540439137
Codice Libristo 01564460
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 730
Dimensioni 155 x 235 x 13

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Matematica e Scienze > Matematica > Matematica applicata > Modelli matematici
Matematica e Scienze > Matematica > Algebra
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Matematica per ingegneri
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 > 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

Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Libro In brossura
common.buy 53.79 €
CRISPR-Cas Systems Rodolphe Barrangou / Libro In brossura
common.buy 214.29 €
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Audiolibro MP3
common.buy 11.89 €
Last Man Who Knew Everything Hockney Mike Hockney / Libro elettronico Adobe ePub DRM
common.buy 11.29 €
Images of Life Michael D. Fritz / Libro In brossura
common.buy 32.29 €
Rapid City Indian School, 1898-1933 Scott Riney / Libro In brossura
common.buy 27.29 €
Retribution Jeanne C. Stein / Libro In brossura
common.buy 9.19 €
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Libro In brossura
common.buy 18.79 €
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Libro In brossura
common.buy 23.89 €
Monetary Policy Alternatives at the Zero Bound Brian P Sack / Libro In brossura
common.buy 12.69 €
Science in the Pulpit Jerry L Artrip / Libro In brossura
common.buy 8.79 €
Katherine and Her Sisters. by the Author of the Discipline of Life [I.E. Lady E. C. M. Ponsonby], Etc. Vol. I Lady Emily Charlotte Mary Ponsonby / Libro In brossura
common.buy 29.59 €
Great Porter Square B L Farjeon / Libro In brossura
common.buy 23.29 €
Community Jean Spenst / Libro In brossura
common.buy 9.59 €
HANNAH Ramona Forrest / Libro In brossura
common.buy 14.49 €
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Libro In brossura
common.buy 107.29 €
I was looking for love Bianca Grootfaam / Libro In brossura
common.buy 12.69 €
15 Realistic Tests for the SAT Subject Test Math Level 1: Up to date and true to life: with 3 fully solved bonus tests Rusen Meylani / Libro In brossura
common.buy 29.39 €
The Chronicles of Count Antonio Anthony Hope / Libro In brossura
common.buy 8.89 €
Beginning Mental Training Skills for Curling Shannon L McDougall / Libro In brossura
common.buy 16.29 €
Hero Tales James Baldwin / Libro In brossura
common.buy 10.69 €
Flexibility in Adaptation Planning Radhakrishnan / Libro In brossura
common.buy 137.69 €
Between Here and There: Words and Such Christine S Curtis / Libro In brossura
common.buy 15.39 €
Your Word Is Truth: The Doctrine of Scripture Rick Muchewicz / Libro In brossura
common.buy 6.99 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?