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 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
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 925 Ft
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 20 471 Ft
LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss / Book Paperback
common.buy 8 847 Ft
Homo asapiens Rado Ondřejíček / Book Hardback
common.buy 3 549 Ft
Jak jsem jezdil do nebe Michal Třetina / Printed items Map
common.buy 4 271 Ft
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL / Video DVD
common.buy 9 787 Ft
Spider-Man 2099 : Dark Genesis / Book Paperback
common.buy 8 556 Ft
Impacto de la erosión en las infraestructuras O. E Inyang / Book Paperback
common.buy 9 375 Ft
Von Tripolis nach Alexandrien Gerhard Rohlfs / Book Paperback
common.buy 5 400 Ft
L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M / Book Paperback
common.buy 5 941 Ft
Hueckel / Book Hardback
common.buy 2 906 Ft
Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot / Book Paperback
common.buy 5 266 Ft
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot / Book Paperback
common.buy 11 138 Ft
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A / Book Paperback
common.buy 5 224 Ft
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / Book Paperback
common.buy 26 454 Ft
IGI ARABA - Il sogno inizia Luigi Carlo De Micco / Book Hardback
common.buy 8 685 Ft
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / Book Paperback
common.buy 6 279 Ft
Staré lásky Isaac Bashevis Singer / Book Book
common.buy 3 054 Ft

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 31 785 Ft
Sundown Towns James W. Loewen / Book Hardback
common.buy 14 160 Ft
Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody / Book Paperback
common.buy 5 988 Ft
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio / Book Paperback
common.buy 3 961 Ft
A Fresh Start: She wants a new life, he needs a wife Ellie Etienne / Book Paperback
common.buy 4 313 Ft
Back Against the Wall Tamera Denise Kelly / Book Paperback
common.buy 5 710 Ft
Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar / Book Paperback
common.buy 8 482 Ft
World War II in Atlanta Paul Crater / Book Paperback
common.buy 7 672 Ft
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter / Book Paperback
common.buy 5 021 Ft
Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson / Book Paperback
common.buy 8 130 Ft
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox / Book Paperback
common.buy 8 672 Ft
Dedham Park. a Tale of Saltshire. Bradshaw / Book Paperback
common.buy 10 111 Ft
Counter-Narrative Goodall / Book Paperback
common.buy 22 100 Ft
Learning to Love Amy Mia Marconi / Book Paperback
common.buy 3 447 Ft
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 10 523 Ft
Foundation Discrete Mathematics for Computing DEXTER J. BOOTH / Book Paperback
common.buy 19 925 Ft
Murphy's Revenge Colin Bateman / Book Paperback
common.buy 3 568 Ft
Kung Pao and Beyond Jung / Book Hardback
common.buy 8 042 Ft
Notes and Observations on the Ionian Islands and Malta John Davy / Book Paperback
common.buy 20 087 Ft
Sweeney Todd the Graphic Novel Original Text Clive Bryant / Book Paperback
common.buy 4 095 Ft
Political Theory and the Displacement of Politics Bonnie Honig / Book Paperback
common.buy 16 418 Ft
Acadia National Park Animals and Attractions Kids Book Billy Grinslott / Book Paperback
common.buy 5 109 Ft
Animal Models in Cardiovascular Research David Gross / Book Hardback
common.buy 64 051 Ft

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?