LEADER 02387nam  22005055  450 
001 996465795803316
005 20200629133844.0
010   $a3-540-48021-8
024 7 $a10.1007/BFb0016343
035   $a(CKB)1000000000230692
035   $a(SSID)ssj0000322881
035   $a(PQKBManifestationID)11243631
035   $a(PQKBTitleCode)TC0000322881
035   $a(PQKBWorkID)10288096
035   $a(PQKB)10478165
035   $a(DE-He213)978-3-540-48021-1
035   $a(PPN)155173073
035   $a(EXLCZ)991000000000230692
100   $a20121227d1987      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEmbedded Systems$b[electronic resource] $eNew Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 /$fedited by Albert Kündig, Richard E. Bührer, Jacques Dähler
205   $a1st ed. 1987.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987.
215   $a1 online resource (VIII, 212 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v284
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-18581-X 
327   $aA 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v284
606   $aComputer programming
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aComputer programming.
615 14$aProgramming Techniques.
676   $a005.11
702   $aKündig$b Albert$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBührer$b Richard E$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDähler$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465795803316
996   $aEmbedded Systems$91777758
997   $aUNISA