Shaoying Liu
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu

Name: Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Price: 10608 JPY
Availability: OutOfStock
Author: Shaoying Liu

価格

¥ 10.608

税抜

遠隔倉庫からの取り寄せ

発送予定日年7月21日 - 年8月6日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering

Shaoying Liu

Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.

412 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2008年10月8日
ISBN13	9783540881933
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	412
寸法	156 × 234 × 21 mm · 612 g