Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Name: Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540439134
Price: 277.38 RON
Availability: InStock

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

Autor: Holger Hermanns, Roberto Segala

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr...

Informații despre carte

Autor

Holger Hermanns, Roberto Segala

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2002

Pagini

222

EAN

9783540439134

ISBN

3540439137

Enbook ID

01564460

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

730

Dimensiuni

155 x 235 x 13

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și