Clive L N Ruggles
Formal Methods in Standards: A Report from the BCS Working Group Clive L N Ruggles Softcover reprint of the original 1st ed. 1990 edition

Name: Formal Methods in Standards: A Report from the BCS Working Group
Price: 8910 JPY
Availability: OutOfStock
Author: Clive L N Ruggles

価格

¥ 8.910

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月21日 - 年10月1日

Clive L N Ruggles の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods in Standards: A Report from the BCS Working Group

Clive L N Ruggles

Softcover reprint of the original 1st ed. 1990 edition

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 A survey of formal methods . 1 FDTs and FSLs for sequential software . 3 me too . 6 Clear . l . 3 Graphical formalisms . 2 Higraphs . 4 Less formal methods and notations . 2 Structured Design . 3 SSADM and LSDM . 5 HDM and the SPECIAL language .

146 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	1990年7月30日
ISBN13	9783540195771
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	135
寸法	170 × 244 × 8 mm · 249 g
言語	ドイツ語
編集者	Ruggles, Clive L. N.