LEADER 02463nam  22004815  450 
001 996465760603316
005 20200701011832.0
010   $a3-540-38136-8
024 7 $a10.1007/3-540-10007-5
035   $a(CKB)1000000000230035
035   $a(SSID)ssj0000320766
035   $a(PQKBManifestationID)11235368
035   $a(PQKBTitleCode)TC0000320766
035   $a(PQKBWorkID)10268662
035   $a(PQKB)10228948
035   $a(DE-He213)978-3-540-38136-5
035   $a(PPN)155179535
035   $a(EXLCZ)991000000000230035
100   $a20121227d1980      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAbstract Software Specifications$b[electronic resource] $e1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings /$fedited by D. Bjorner
205   $a1st ed. 1980.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1980.
215   $a1 online resource (XVI, 572 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v86
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-10007-5 
327   $aAbstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: ? EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v86
606   $aSoftware engineering
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aSoftware engineering.
615 14$aSoftware Engineering.
676   $a005.1
702   $aBjorner$b D$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465760603316
996   $aAbstract software specifications$9878546
997   $aUNISA