Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986

A. Kündig, R.E. Bührer, J. Dähler, (eds.)

[目次]

  • A note on the meaning of "Embedded systems".- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.

「Nielsen BookData」より

この本の情報

書名 Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986
著作者等 Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems
Bührer, Richard E.
Dähler, Jacques
Kündig, Albert
Buhrer Richard E.
Dahler Jacques
Kundig A
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 c1987
ページ数 [v], 207 p.
大きさ 25 cm
ISBN 038718581X
354018581X
NCID BA01242155
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想