"synopsis" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540425564
Book Description Condition: New. Seller Inventory # 916137-n
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020167161
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540425564_lsuk
Book Description Condition: New. Seller Inventory # 916137-n
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 236 pp. Englisch. Seller Inventory # 9783540425564
Book Description Condition: New. This work constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. Topics include: model representation; model checking; and refinement. Editor(s): De Alfaro, Luca; Gilmore, Stephan. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, biography. BIC Classification: PBF; PBT; UGK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 337. . 2001. Paperback. . . . . Seller Inventory # V9783540425564
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540425564
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4889920
Book Description Condition: New. This work constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. Topics include: model representation; model checking; and refinement. Editor(s): De Alfaro, Luca; Gilmore, Stephan. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, biography. BIC Classification: PBF; PBT; UGK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 337. . 2001. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783540425564