00815cam a2200181 a 450000500170000000800410001703500150005805000220007311101080009524501370020326000370034030000110037744000480038850000710043665000580050770000250056571000430059020260817161342.0951013s1980    gw      r     100|0 eng d  a.b10050140 4aQA76.6bC656 19792 aCopenhagen Winter School on Abstract Software Specificationsd(1979 :cTechnical University of Denmark)10aAbstract software specification :b1979 Copenhagen Winter School, January 22 - February 2, 1979 : proceeding /cedited by D. Bjorner  aBerlin :bSpringer-Verlag,c1980  a566 p. 0aLecture notes in computer science ;vno. 86  aSponsored by the Commission of the European Communities and others 0aElectronic digital computersxProgrammingvCongresses1 aBjorner, Dines,eed.2 aCommission of the European Communities