|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Alessandro Aldini , Marco Bernardo , Flavio CorradiniPublisher: Springer London Ltd Imprint: Springer London Ltd Edition: 2010 ed. Dimensions: Width: 15.50cm , Height: 1.70cm , Length: 23.50cm Weight: 0.492kg ISBN: 9781447157663ISBN 10: 1447157664 Pages: 304 Publication Date: 20 October 2014 Audience: College/higher education , Undergraduate , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsProcess Calculi and Behavioral Equivalences.- Process Algebra.- Deterministically Timed Process Algebra.- Stochastically Timed Process Algebra.- Process Algebra for Software Architecture.- Component-Oriented Modeling.- Component-Oriented Functional Verification.- Component-Oriented Performance Evaluation.- Trading Dependability and Performance.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |