发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Software Architecture Volume 6903 || Verifying Composite Service Transactional Behavior with EVENT-B

[Lecture Notes in Computer Science] Software Architecture Volume 6903 || Verifying Composite Service Transactional Behavior with EVENT-B

Crnkovic, Ivica; Gruhn, Volker; Book, Matthias

作者Crnkovic, Ivica; Gruhn, Volker; Book, Matthias
文件大小224.62KB
发表时间2011
DOI10.1007/978-3-642-23798-0_7
页码67-74

← 返回【学霸图书馆】主页