全3件のTommaso Bolognesiのリリース（Paperback Book および Hardco...Book）
カテゴリ
その他
カスタマーサービス
JPY
iMusicに在庫あり
在庫なし商品を表示
![Cover for Tommaso Bolognesi · Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2000 edition] (2013)](https://imusic.b-cdn.net/images/item/original/649/9781475752649.jpg?tommaso-bolognesi-2013-formal-methods-for-distributed-system-development-forte-pstv-2000-ifip-tc6-wg6-1-joint-international-conference-on-formal-description-techniques-for-distributed-systems-and-communication-protocols-forte-xiii-and-protocol-specificatio&class=scaled&v=1575546331)
![Cover for Tommaso Bolognesi · LOTOSphere: Software Development with LOTOS (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/241/9781461359241.jpg?tommaso-bolognesi-2012-lotosphere-software-development-with-lotos-paperback-book&class=scaled&v=1604580477)
![Cover for Tommaso Bolognesi · LOTOSphere: Software Development with LOTOS (Hardcover Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/294/9780792395294.jpg?tommaso-bolognesi-1995-lotosphere-software-development-with-lotos-hardcover-book&class=scaled&v=1466000383)