02387nam 22005055 450 99646579580331620200629133844.03-540-48021-810.1007/BFb0016343(CKB)1000000000230692(SSID)ssj0000322881(PQKBManifestationID)11243631(PQKBTitleCode)TC0000322881(PQKBWorkID)10288096(PQKB)10478165(DE-He213)978-3-540-48021-1(PPN)155173073(EXLCZ)99100000000023069220121227d1987 u| 0engurnn|008mamaatxtccrEmbedded Systems[electronic resource] 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ähler1st ed. 1987.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1987.1 online resource (VIII, 212 p.) Lecture Notes in Computer Science,0302-9743 ;284Bibliographic Level Mode of Issuance: Monograph3-540-18581-X 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.Lecture Notes in Computer Science,0302-9743 ;284Computer programmingProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer programming.Programming Techniques.005.11Kündig Albertedthttp://id.loc.gov/vocabulary/relators/edtBührer Richard Eedthttp://id.loc.gov/vocabulary/relators/edtDähler Jacquesedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465795803316Embedded Systems1777758UNISA