---

＜電子ブック＞
Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler
(Lecture Notes in Computer Science. ISSN:16113349 ; 284)

版	1st ed. 1987.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1987
本文言語	英語
大きさ	VIII, 212 p : online resource
著者標目	Kündig, Albert editor Bührer, Richard E editor Dähler, Jacques editor SpringerLink (Online service)
件　名	LCSH:Computer programming FREE:Programming Techniques
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0016343

 類似資料