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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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.38 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch / Book Paperback
common.buy 52.79 €
Rêves et pièges Perreau / Book Paperback
common.buy 21.61 €
Impacto de la erosión en las infraestructuras O. E Inyang / Book Paperback
common.buy 23.94 €
Das Allerwichtigste, Deutsch-Italienisch. La cosa più importante, m. Audio-CD Antonella Abbatiello / Book Hardback
common.buy 23.22 €
L'ARMEE FRANà‡AISE EN 1918 Guelton / Book Book
common.buy 12.36 €
Von Tripolis nach Alexandrien Gerhard Rohlfs / Book Paperback
common.buy 14.88 €
Ribheid Daibhidh MacÙistein / Book Hardback
common.buy 23.02 €
Spider-Man 2099 : Dark Genesis / Book Paperback
common.buy 22.72 €
La torah Étienne Kerber / Book Hardback
common.buy 25.13 €
LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss / Book Paperback
common.buy 22.62 €
Staré lásky Isaac Bashevis Singer / Book Book
common.buy 8.54 €
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL / Video DVD
common.buy 26.24 €
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / Book Paperback
common.buy 16.09 €
Jak jsem jezdil do nebe Michal Třetina / Printed items Map
common.buy 11.46 €
IGI ARABA - Il sogno inizia Luigi Carlo De Micco / Book Hardback
common.buy 22.22 €
Primavera cruel Luis Roso / Book Paperback
common.buy 14.88 €
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / Book Paperback
common.buy 135.57 €
Homo asapiens Rado Ondřejíček / Book Hardback
common.buy 9.95 €
L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M / Book Paperback
common.buy 15.48 €
Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot / Book Paperback
common.buy 13.57 €
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot / Book Paperback
common.buy 26.94 €
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A / Book Paperback
common.buy 13.27 €

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 81.99 €
Sundown Towns James W. Loewen / Book Hardback
common.buy 40.62 €
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox / Book Paperback
common.buy 22.12 €
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter / Book Paperback
common.buy 12.77 €
World War II in Atlanta Paul Crater / Book Paperback
common.buy 21.21 €
Steck-Vaughn Science: Life, Physical, Earth & Spac: Student Book Grade 1 Various / Book Paperback
common.buy 15.08 €
Back Against the Wall Tamera Denise Kelly / Book Paperback
common.buy 14.78 €
A Fresh Start: She wants a new life, he needs a wife Ellie Etienne / Book Paperback
common.buy 11.16 €
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio / Book Paperback
common.buy 10.25 €
The Reunion: An Adopted Child's Letters to a Missing Mother Grace Ann Neuharth / Book Paperback
common.buy 10.25 €
Sieur de la Salle: An Explorer of the Great West Amie Hazleton / Book Paperback
common.buy 8.24 €
Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar / Book Paperback
common.buy 22.03 €
Top
Rascal Does Not Dream of Siscon Idol (light novel) Hajime Kamoshida / Book Paperback
common.buy 12.36 €
Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson / Book Paperback
common.buy 23.13 €
Colorectal Surgery Sue Clark / Book Hardback
common.buy 104.99 €
Kung Pao and Beyond Jung / Book Hardback
common.buy 21.11 €
Kaws: New Fiction Hans Ulrich Obrist / Book Hardback
common.buy 41.53 €
Acadia National Park Animals and Attractions Kids Book Billy Grinslott / Book Paperback
common.buy 13.17 €
Top
Freeze Fresh Meal Prep SCHMIDT CRYSTAL / Book Paperback
common.buy 19.80 €
Murphy's Revenge Colin Bateman / Book Paperback
common.buy 9.15 €
Dedham Park. a Tale of Saltshire. Bradshaw / Book Paperback
common.buy 25.74 €
Notes and Observations on the Ionian Islands and Malta John Davy / Book Paperback
common.buy 57.02 €
Animal Models in Cardiovascular Research David Gross / Book Hardback
common.buy 179.92 €
No Hero Jonathan Wood / Book Paperback
common.buy 9.04 €

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?