Formalisms for Reuse and Systems Integration (Advances in Intelligent Systems and Computing) （2015）

Bouabana-Tebibel, Thouraya (EDT)/ Rubin, Stuart H. (EDT)

Springer International Publishing AG（2015/04発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版／ページ数 295 p.
商品コード 9783319165769

Full Description

and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.

This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integration to cover the most recent advances in the field.