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: 212.42 PLN
Availability: InStock

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

Autor: Luca de Alfaro, Stephen Gilmore

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Luca de Alfaro, Stephen Gilmore

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2001

strony

224

EAN

9783540425564

ISBN

354042556X

Enbook ID

01563754

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

750

Wymiary

155 x 235 x 13

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również