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

方面

書(shū)目名稱Compositionality: The Significant Difference影響因子(影響力)




書(shū)目名稱Compositionality: The Significant Difference影響因子(影響力)學(xué)科排名




書(shū)目名稱Compositionality: The Significant Difference網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Compositionality: The Significant Difference網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Compositionality: The Significant Difference被引頻次




書(shū)目名稱Compositionality: The Significant Difference被引頻次學(xué)科排名




書(shū)目名稱Compositionality: The Significant Difference年度引用




書(shū)目名稱Compositionality: The Significant Difference年度引用學(xué)科排名




書(shū)目名稱Compositionality: The Significant Difference讀者反饋




書(shū)目名稱Compositionality: The Significant Difference讀者反饋學(xué)科排名

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:

牌帶來(lái)

牌帶來(lái)

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