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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

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

Language EnglishEnglish
Book Paperback
Book Process Algebra and Probabilistic Methods. Performance Modelling and Verification Luca de Alfaro
Libristo code: 01563754
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2001
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch / Book Paperback
common.buy 53.16 €
LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss / Book Paperback
common.buy 22.78 €
Homo asapiens Rado Ondřejíček / Book Hardback
common.buy 10.02 €
Jak jsem jezdil do nebe Michal Třetina / Printed items Map
common.buy 11.54 €
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL / Video DVD
common.buy 27.64 €
Spider-Man 2099 : Dark Genesis / Book Paperback
common.buy 24.10 €
Impacto de la erosión en las infraestructuras O. E Inyang / Book Paperback
common.buy 24.20 €
Von Tripolis nach Alexandrien Gerhard Rohlfs / Book Paperback
common.buy 15.18 €
L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M / Book Paperback
common.buy 15.59 €
Hueckel / Book Hardback
common.buy 8.19 €
Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot / Book Paperback
common.buy 14.88 €
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot / Book Paperback
common.buy 29.16 €
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A / Book Paperback
common.buy 13.66 €
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / Book Paperback
common.buy 74.64 €
IGI ARABA - Il sogno inizia Luigi Carlo De Micco / Book Hardback
common.buy 22.37 €
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / Book Paperback
common.buy 16.20 €
Staré lásky Isaac Bashevis Singer / Book Book
common.buy 8.60 €

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.

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 Modelling and Verification
Author Luca de Alfaro, Stephen Gilmore
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 224
EAN 9783540425564
ISBN 354042556X
Libristo code 01563754
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 750
Dimensions 155 x 235 x 13

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Breeding for Resistance to Diseases and Insect Pests Dhan P. Singh / Book Paperback
common.buy 82.54 €
Sundown Towns James W. Loewen / Book Hardback
common.buy 39.90 €
Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody / Book Paperback
common.buy 16.90 €
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio / Book Paperback
common.buy 10.32 €
A Fresh Start: She wants a new life, he needs a wife Ellie Etienne / Book Paperback
common.buy 11.23 €
Back Against the Wall Tamera Denise Kelly / Book Paperback
common.buy 14.88 €
Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar / Book Paperback
common.buy 22.17 €
World War II in Atlanta Paul Crater / Book Paperback
common.buy 20.85 €
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter / Book Paperback
common.buy 12.85 €
Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson / Book Paperback
common.buy 21.26 €
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox / Book Paperback
common.buy 22.27 €
Dedham Park. a Tale of Saltshire. Bradshaw / Book Paperback
common.buy 25.92 €
Counter-Narrative Goodall / Book Paperback
common.buy 57.92 €
Learning to Love Amy Mia Marconi / Book Paperback
common.buy 9.71 €
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- H H Lewis / Book Paperback
common.buy 29.67 €
Foundation Discrete Mathematics for Computing DEXTER J. BOOTH / Book Paperback
common.buy 51.75 €
Murphy's Revenge Colin Bateman / Book Paperback
common.buy 9.21 €
Kung Pao and Beyond Jung / Book Hardback
common.buy 21.26 €
Notes and Observations on the Ionian Islands and Malta John Davy / Book Paperback
common.buy 56.61 €
Sweeney Todd the Graphic Novel Original Text Clive Bryant / Book Paperback
common.buy 10.83 €
Political Theory and the Displacement of Politics Bonnie Honig / Book Paperback
common.buy 43.44 €
Acadia National Park Animals and Attractions Kids Book Billy Grinslott / Book Paperback
common.buy 13.26 €
Animal Models in Cardiovascular Research David Gross / Book Hardback
common.buy 175.92 €

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?