【预订】Process Algebra and Probabilistic Methods. 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Process Algebra and Probabilistic Methods. Performance M 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540425564 Author 作者 Alfaro Format 版本 平装-胶订 Pages Number 页数 224页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-08-29 Language 语种 英语 Book Contents 内容简介 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.
¥608.00
海外直订Process Algebra and Probabilistic Methods. Performance M
¥553.00
海外直订Process Algebra and Probabilistic Methods: Performance M
¥553.00
预订 Process Algebra and Probabilistic Methods. Performance Mo 【全球购】进口原版图书，约3-6周到达国内后发出
¥630.00
预订 Process Algebra and Probabilistic Methods: Performance Mo 【全球购】进口原版图书，约3-6周到达国内后发出
¥629.00
过程代数与概率方法Process Algebra and Probabilistic Methods
¥409.50
过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥358.00
