Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

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

Language EnglishEnglish
Book Paperback
Book Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
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
? points 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Book Hardback
common.buy 64.79 € 126.72 лв
Cómo tener sexo en el trabajo MATS & ENZO / Book Paperback
common.buy 6.88 € 13.46 лв
Dla szczęśliwych i nieszczęśliwych Halina Poświatowska / Book Hardback
common.buy 13.00 € 25.42 лв
Hogyan (ne) tervezz? Les Binet / Book Hardback
common.buy 15.17 € 29.67 лв
Top
Puzzle 500 peace collection Light blue 35116 / Game/Toy Jigsaw puzzle
common.buy 5.80 € 11.34 лв
Das afrikanische Gewerbe Heinrich Schurtz / Book Paperback
common.buy 15.33 € 29.98 лв
Wo samstags immer Sonntag ist Markus Flohr / Book Paperback
common.buy 13.46 € 26.33 лв
Bewertung von Qualitatsverbesserungsmassnahmen Thomas Gerboth / Book Paperback
common.buy 35.99 € 70.40 лв
Magnetbandspeicher Und Seine Anwendung in Der Schallmesstechnik Dieter Kutzer / Book Paperback
common.buy 55.99 € 109.50 лв
Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko / Book Paperback
common.buy 8.33 € 16.30 лв
Leuchtfeuer Corina Bomann / Book Paperback
common.buy 12.06 € 23.59 лв
Lovkyně Kate Quinn / Book Hardback
common.buy 15.59 € 30.48 лв
HIPOCAMPOS Y BURBUJAS HIPPOCAMPUS & BUBB Marion Lindsay / Book Paperback
common.buy 6.26 € 12.25 лв
HANGMAN - EINSTEIN EDITION - "Galgenmännchen TO GO" Denkriesen / Game/Toy Game
common.buy 11.65 € 22.78 лв
L'apithérapie Ballot-Flurin / Book Paperback
common.buy 16.36 € 32.00 лв
LE MOULIN DE MES REVES Bonneau / Book Paperback
common.buy 16.36 € 32.00 лв
Le Robert de Poche Plus collegium / Book Paperback
common.buy 15.12 € 29.57 лв
Flucht aus der Gruselhütte Timo Grubing / Book Paperback
common.buy 9.68 € 18.93 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Author Holger Hermanns, Roberto Segala
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 222
EAN 9783540439134
ISBN 3540439137
Libristo code 01564460
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 730
Dimensions 155 x 235 x 13

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Mathematical modelling
Mathematics & Science > Mathematics > Algebra
Technology, Engineering, Agriculture > Technology: general issues > Maths for engineers
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Multi-Grid Methods and Applications Wolfgang Hackbusch / Book Hardback
common.buy 184.60 € 361.04 лв
CRISPR-Cas Systems Rodolphe Barrangou / Book Paperback
common.buy 217.13 € 424.66 лв
Dynamic Systems and Dynamic Classification Problems in Geophysical Applications Alexej Gvishiani / Book Paperback
common.buy 54.48 € 106.56 лв
Little Miss Star Story Noah Miles / Book Paperback
common.buy 8.33 € 16.30 лв
The Chronicles of Count Antonio Anthony Hope / Book Paperback
common.buy 8.54 € 16.71 лв
15 Realistic Tests for the SAT Subject Test Math Level 1: Up to date and true to life: with 3 fully solved bonus tests Rusen Meylani / Book Paperback
common.buy 32.83 € 64.22 лв
Master Profit Plan Vadym Graifer / Book Paperback
common.buy 46.35 € 90.66 лв
Galileo's Thinking Hand Horst Bredekamp / Book Hardback
common.buy 62.72 € 122.67 лв
I was looking for love Bianca Grootfaam / Book Paperback
common.buy 12.17 € 23.80 лв
Soft Computing Techniques in Voltage Security Analysis Kabir Chakraborty / Book Paperback
common.buy 108.72 € 212.63 лв
HANNAH Ramona Forrest / Book Paperback
common.buy 13.93 € 27.24 лв
Constraints and Opportunities of Market Entry Strategies for Multinational Enterprises in Emerging Markets Svenja Martina Gnosa / Book Paperback
common.buy 40.65 € 79.51 лв
Raphael Santi Edward McCurdy / Book Hardback
common.buy 32.63 € 63.81 лв
Images of Life Michael D. Fritz / Book Paperback
common.buy 28.33 € 55.40 лв
Rapid City Indian School, 1898-1933 Scott Riney / Book Paperback
common.buy 26.51 € 51.86 лв
Retribution Jeanne C. Stein / Book Paperback
common.buy 9.27 € 18.12 лв
Fifteen Candles: 15 Tales of Taffeta, Hairspray, Drunk Uncles, and Other Quinceanera Stories Adriana Lopez / Book Paperback
common.buy 18.02 € 35.24 лв
Intercultural Application Guide for Work and Studies in the USA Michael B. Hinner / Book Paperback
common.buy 23.98 € 46.89 лв
A Missing Link in Castaway County John Lindsey Hickman / Book Paperback
common.buy 17.50 € 34.23 лв
The Death of Socrates; an Interpretation of the Platonic Dialogues: Euthyphro, Apology, Crito and Phaedo Romano 1885-1968 Guardini / Book Paperback
common.buy 19.37 € 37.88 лв
Last Man Who Knew Everything Hockney Mike Hockney / E-book Adobe ePub DRM
common.buy 11.55 € 22.58 лв
Oxford History of the Reformation Peter Marshall / Book Paperback
common.buy 19.16 € 37.47 лв
Frederica Quartet: The Virgin in the Garden, Still Life, Babel Tower & A Whistling Woman A. S. Byatt / Audiobook MP3
common.buy 12.17 € 23.80 лв
Here & There: A Poetry Collection by Alan Riley / Book Paperback
common.buy 10.30 € 20.15 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?