【预订】Lectures on Formal Methods and Performance Analysis 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540424796 Author 作者 Brinksma Format 版本 平装-胶订 Pages Number 页数 434页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-08-29 Language 语种 英语 Book Contents 内容简介 Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by dierent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this tren
¥608.00
3-6周达 Lectures on Formal Methods and Performance Analysis: F 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥648.00
海外直订Lectures on Formal Methods and Performance Analysis: Fir
¥553.00
（形式方法与性能分析讲义）Lectures on Formal Methods and Performance Anal
¥473.20
