Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 01564460
Price: 19902 HUF
Availability: InStock
Author: Holger Hermanns
ISBN: 9783540439134

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

Holger Hermanns

Roberto Segala

Language

English

Book Paperback

Libristo code: 01564460

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2002

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

Libristo code: 01564460

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz

Hardback

23 669 Ft

Cómo tener sexo en el trabajo MATS & ENZO

Paperback

2 815 Ft

Le Robert de Poche Plus collegium

Paperback

7 783 Ft

Leuchtfeuer Corina Bomann

Paperback

4 442 Ft

Puzzle 500 peace collection Light blue 35116

Jigsaw puzzle

1 950 Ft

L'Ouest Américain - West America Najarro

Paperback

13 043 Ft

HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen

Game

4 234 Ft

Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko

Paperback

2 653 Ft

Wo samstags immer Sonntag ist Markus Flohr

Paperback

4 922 Ft

Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth

Paperback

13 177 Ft

Energie der Poesie Nick Living

Paperback

5 232 Ft

Rad Vladimír Sorokin

Hardback

1 581 Ft

HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay

Paperback

2 431 Ft

La rodilla de Lucy : los primeros pasos hacia la humanidad Yves Coppens

Paperback

6 785 Ft

Stedinger H a Schumacher

Paperback

7 649 Ft

Little Dragon Sitting on the Top of the Story Bridge. Simplified Chinese MS Suet Fan Regina Wong

Paperback

5 116 Ft

Hamburgs dunkle Seiten Kathrin Hanke

Hardback

7 256 Ft

Ergenus Cumhuriyeti Dilek Erdem

Paperback

3 166 Ft

Das afrikanische Gewerbe Heinrich Schurtz

Paperback

5 218 Ft

Les Anti-Inflammatoires Naturels Jennifer Louissa

Paperback

6 156 Ft

Lovkyně Kate Quinn

Hardback

5 394 Ft

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.