J M Romijn
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering J M Romijn 2005 edition

Name: Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering
Price: 8535 JPY
Availability: OutOfStock
Author: J M Romijn

価格

¥ 8.535

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月13日 - 年11月25日

クリスマスプレゼントは1月31日まで返品可能です

J M Romijn の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering

J M Romijn

2005 edition

Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.

407 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2005年11月24日
ISBN13	9783540304920
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	407
寸法	155 × 235 × 21 mm · 630 g
言語	ドイツ語
編集者	Romijn, Judi M.T.
編集者	Smith, Graeme P.
編集者	Van De Pol, Jaco C.