Sandeep K Shukla
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Sandeep K Shukla 2010 edition

Name: Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Price: 19549 JPY
Availability: OutOfStock
Author: Sandeep K Shukla

価格

¥ 19.549

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月2日 - 年9月18日

Sandeep K Shukla の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Sandeep K Shukla

2010 edition

It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.

315 pages, 100 black & white illustrations, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2010年9月17日
ISBN13	9781441963994
出版社	Springer-Verlag New York Inc.
ページ数	266
寸法	159 × 247 × 22 mm · 576 g
言語	英語
編集者	Shukla, Sandeep Kumar
編集者	Talpin, Jean-Pierre