Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Name: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540425564
Price: 19305 HUF
Availability: InStock

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Szerző: Luca de Alfaro, Stephen Gilmore

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa...

Információk a könyvről

Szerző

Luca de Alfaro, Stephen Gilmore

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2001

oldal

224

EAN

9783540425564

ISBN

354042556X

Enbook ID

01563754

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

750

Méretek

155 x 235 x 13

Teljes leírás

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták