Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:36109807:1164 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:36109807:1164?format=raw |
LEADER: 01164cam a2200253 a 4500
001 82016704
003 DLC
005 19990716000000.0
008 820901s1983 ne a b 101 0 eng
010 $a 82016704
020 $a9027715041
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.N378 1981
082 00 $a001.64/2$219
111 2 $aNATO Advanced Study Institute$d(1981 :$cBonas, France)
245 10 $aComputer program synthesis methodologies :$bproceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 /$cedited by Alan W. Biermann and Gérard Guiho.
260 $aDordrecht, Holland ;$aBoston, U.S.A. :$bD. Reidel Pub. Co. ;$aHingham, MA :$bDistributed in the U.S.A. and Canada by Kluwer Boston Inc.,$cc1983.
300 $aix, 374 p. :$bill. ;$c25 cm.
440 0 $aNATO advanced study institutes series.$nSeries C,$pMathematical and physical sciences ;$vv. 95
500 $a"Published in cooperation with NATO Scientific Affairs Division."
504 $aIncludes bibliographies and indexes.
650 0 $aComputer programming$xCongresses.
700 1 $aBiermann, Alan W.,$d1939-
700 1 $aGuiho, Gerard,$d1945-