Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2165 (Paperback)
  • Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2165 (Paperback)
zoom

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2165 (Paperback)

(editor), (editor)
£62.99
Paperback 224 Pages / Published: 29/08/2001
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540425564
Number of pages: 224
Weight: 750 g
Dimensions: 235 x 155 x 12 mm
Edition: 2001 ed.

You may also be interested in...

Maths for Science
Added to basket
£35.99
Paperback
Algebra I Essentials For Dummies
Added to basket
Book of Abstract Algebra
Added to basket
Linear Algebra: Concepts and Methods
Added to basket
Linear Algebra
Added to basket
£31.49
Paperback
Linear Algebra Done Right
Added to basket
Edexcel Award in Algebra Level 3 Workbook
Added to basket
Maths for Chemistry
Added to basket
£29.99
Paperback
The Cartoon Guide to Algebra
Added to basket
Algebra II For Dummies
Added to basket
Galois Theory
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.