Code: 01563754

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: 01563754
Price: 55.93 EUR
Availability: InStock
Author: Luca de Alfaro
ISBN: 9783540425564

by Luca de Alfaro, Stephen Gilmore

Language: English
Binding: Paperback
Number of pages: 224
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001
More about this

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Staré lásky
9.11 € -7 %
Buy
Jak jsem jezdil do nebe
11.24 € -23 %
Buy
Kung Pao and Beyond
21.27 € -25 %
Buy
Homo asapiens
9.52 € -9 %
Buy
Murphy's Revenge
9.21 € -9 %
Buy
Breeding for Resistance to Diseases and Insect Pests
82.59 € -7 %
Buy
Colorectal Surgery
116.64 € -4 %
Buy
LONELY PLANET Reiseführer Indien Süden & Kerala
22.79 € -13 %
Buy
Hueckel
8.20 €
Buy
L'Heliotherapie Sur Le Littoral Mediterraneen Francais
14.79 €
Buy
Dedham Park. a Tale of Saltshire.
24.31 € -25 %
Buy
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels
16.21 € -10 %
Buy
Animal Models in Cardiovascular Research
168.02 €
Buy
Socratic Method and Critical Philosophy: Selected Essays
20.26 € -1 %
Buy
Foundation Discrete Mathematics for Computing
55.93 €
Buy
Political Theory and the Displacement of Politics
41.74 €
Buy
Spider-Man 2099 : Dark Genesis
24.11 €
Buy
Steck-Vaughn Science: Life, Physical, Earth & Spac: Student Book Grade 1
13.98 € -17 %
Buy
Ces Messieurs de St-Malo T02 Temps Des Carbec
14.89 €
Buy
Von Tripolis nach Alexandrien
15.19 € -9 %
Buy
Impacto de la erosión en las infraestructuras
24.21 € -14 %
Buy
Learning to Love Amy
9.11 € -20 %
Buy
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert.
74.68 €
Buy
Acadia National Park Animals and Attractions Kids Book
12.66 € -6 %
Buy
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1
13.06 € -1 %
Buy
Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz
60.80 €
Buy
Camilla And Gertrude And Other Poems (1884)
21.17 € -1 %
Buy
Back Against the Wall
14.08 € -7 %
Buy
Sweeney Todd the Graphic Novel Original Text
10.83 € -25 %
Buy
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2
27.86 €
Buy
Sieur de la Salle: An Explorer of the Great West
8.71 € -10 %
Buy
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book
9.82 € -6 %
Buy
The Reunion: An Adopted Child's Letters to a Missing Mother
9.82 € -6 %
Buy
Easy to Medium 300 Sudoku Puzzle Book: Volume 5
16 € -9 %
Buy
IGI ARABA - Il sogno inizia
22.39 € -14 %
Buy
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie
27.66 €
Buy
A Fresh Start: She wants a new life, he needs a wife
10.63 € -7 %
Buy
Counter-Narrative
59.07 €
Buy
Notes and Observations on the Ionian Islands and Malta
54.01 €
Buy
Gunner Aboard the Yankee. from the Diary of Number Five of the After Port Gun. the Yarn of the Cruise and Fights of the Naval Reserves in the Spanish-
28.16 € -9 %
Buy
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy
12.05 € -25 %
Buy
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.]
20.87 € -25 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Book details
Synopsis
Trending among others

You get 135 loyalty points

Book synopsis

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.

Book details

Book category Books in English Mathematics & science Mathematics Algebra

55.93 €

Full title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Subtitle: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Author: Luca de Alfaro, Stephen Gilmore
Language: English
Binding: Paperback
Number of pages: 224
EAN: 9783540425564
ISBN: 354042556X
ID: 01563754
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 750 g
Dimensions: 235 × 155 × 13 mm
Date of publishing: 29. August 2001