| Record ID | marc_loc_2016/BooksAll.2016.part17.utf8:146878255:858 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part17.utf8:146878255:858?format=raw |
LEADER: 00858cam a2200229 a 4500
001 86195028
003 DLC
005 20111220090409.0
008 860814s1986 gw a b 100 0 eng
010 $a 86195028
020 $a0387164448 (pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.76.D47$bM37 1986
082 00 $a005.1$219
245 00 $aMathematical methods of specification and synthesis of software systems '85 :$bproceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /$cedited by W. Bibel and K.P. Jantke.
260 $aBerlin ;$aNew York :$bSpringer,$cc1986.
300 $a245 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v215
504 $aIncludes bibliographies.
650 0 $aComputer software$xDevelopment$xCongresses.
700 1 $aBibel, W.,$d1938-
700 1 $aJantke, K. P.$q(Klaus P.)