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

ホーム
> 洋書
> 英文書
> Science / Mathematics

ポイントキャンペーン

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

Shukla, Sandeep Kumar (EDT)/ Talpin, Jean-Pierre (EDT)

Springer-Verlag New York Inc.（2014/11発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版／ページ数 266 p.
言語 ENG
商品コード 9781489987372
DDC分類 005.1

Full Description

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.