Titlebook: Compositionality: The Significant Difference; International Sympos Willem-Paul Roever,Hans Langmaack,Amir Pnueli Conference proceedings 199

方面

书目名称Compositionality: The Significant Difference影响因子(影响力)




书目名称Compositionality: The Significant Difference影响因子(影响力)学科排名




书目名称Compositionality: The Significant Difference网络公开度




书目名称Compositionality: The Significant Difference网络公开度学科排名




书目名称Compositionality: The Significant Difference被引频次




书目名称Compositionality: The Significant Difference被引频次学科排名




书目名称Compositionality: The Significant Difference年度引用




书目名称Compositionality: The Significant Difference年度引用学科排名




书目名称Compositionality: The Significant Difference读者反馈




书目名称Compositionality: The Significant Difference读者反馈学科排名

intertwine

https://doi.org/10.1007/3-540-49213-5algorithm; algorithms; concurrency; design; distributed systems; formal methods; language; logic; model chec

exquisite

978-3-540-65493-3Springer-Verlag Berlin Heidelberg 1998

muffler

Compositionality: The Significant Difference978-3-540-49213-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

characteristic

Willem-Paul Roever,Hans Langmaack,Amir PnueliIncludes supplementary material:

牌带来

牌带来

https://doi.org/10.1007/978-981-16-8694-8he current literature. Compositional proof techniques are presented as the proof-theoretical analogue of Dijkstra’s hierarchically-structured program development. Machine-support for compositional reasoning, and the relationship between compositionality and modularity are discussed. The issues when

召集

0302-9743 Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is

Ambiguous

miniature