Process Algebra and Probabilistic Methods. Performance Modeling...

Buy Process Algebra and Probabilistic Methods. Performance Modeling... here, one of many Computer Performance Optimization books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Computer Performance Optimization > Item 590

	Process Algebra and Probabilistic Methods. Performance Modeling...
	by Holger Hermanns and Roberto Segala Sales Rank: 6530142	$52.95 At Amazon on 9-26-2008.

*Features* Cover Type: Paperback with 215 pages Published by: Springer Edition: 1st Edition August 15, 2002 Written in: English ISBN 10 Number: 3540439137 ISBN 13 Number: 978-3540439134 Book Dimensions: 9.3 x 6.1 x 0.6 inches Weighs: 12 ounces *Product Description* 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 ten 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. Book Info Proceedings of the 10th Intl Conference on Conceptual Structures, held July 15-17, 2002 in Borovets, Bulgaria. Papers organized in topical sections on data and knowledge structures, semantics, interfaces and applications, and logical and mathematical foundations. Softcover. Back To Top
Process Algebra and Probabilistic Methods. Performance Modeling... ~~List Price: $52.95~~ Available from Amazon Price: $52.95 Updated on 9-26-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Process Algebra and Probabilistic Methods. Performance Modeling... and other related Computer Performance Optimization Books here at Rbookshop.com. To view more books about Computer Performance Optimization please use the previous and next buttons near the top of this page.