Michael Johnson
Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering Michael Johnson 2006 edition

Name: Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering
Price: 8505 JPY
Availability: OutOfStock
Author: Michael Johnson

価格

¥ 8.505

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月30日 - 年11月11日

Michael Johnson の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering

Michael Johnson

2006 edition

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

392 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2006年6月27日
ISBN13	9783540356332
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	392
寸法	155 × 235 × 21 mm · 566 g
言語	ドイツ語
編集者	Johnson, Michael
編集者	Vene, Varmo