Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep Kumar Shukla - 書籍 - Springer-Verlag New York Inc. - 9781489987372 - 2014年11月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 19.982
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月20日 - 年7月30日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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.

266 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年11月20日
ISBN13 9781489987372
出版社 Springer-Verlag New York Inc.
ページ数 266
寸法 155 × 235 × 15 mm   ·   435 g
言語 英語  
編集者 Shukla, Sandeep Kumar
編集者 Talpin, Jean-Pierre

Mere med samme udgiver

Sandeep Kumar Shuklaのすべてを見る ( 例： Paperback Book )