LEADER 02965nam  22005295  450 
001 996466342303316
005 20200704223530.0
010   $a3-540-39176-2
024 7 $a10.1007/3-540-11490-4
035   $a(CKB)1000000000230175
035   $a(SSID)ssj0000325908
035   $a(PQKBManifestationID)11912738
035   $a(PQKBTitleCode)TC0000325908
035   $a(PQKBWorkID)10266915
035   $a(PQKB)11319472
035   $a(DE-He213)978-3-540-39176-0
035   $a(PPN)155189018
035   $a(EXLCZ)991000000000230175
100   $a20121227d1982      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgram Specification$b[electronic resource] $eProceedings of a Workshop Aarhus, Denmark, August 1981 /$fedited by J. Staunstrup
205   $a1st ed. 1982.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1982.
215   $a1 online resource (VI, 426 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v134
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-11490-4 
327   $aProgram specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1: Geometrical constructions -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 2: KWIC ? index generation -- Example 3: Communication network -- Example 3: Communication network -- Partial correctness of distributed programs -- Specification of distributed programs -- Robust data types -- A reduction specification for DTL -- Recursive definitions of operations in universal algebras -- The SRDL specification experiment -- Program specification by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal specifications to productive use -- A specification language -- Tecton: A language for manipulating generic objects -- Concurrency -- Workshop on program specification -- List of participants.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v134
606   $aComputer logic
606   $aSoftware engineering
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
676   $a005.1015113
702   $aStaunstrup$b J$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466342303316
996   $aProgram specification$9332013
997   $aUNISA