MARC 主機 00000nam  2200000 a 4500 
020    0444702539 
040    AS|cAS|dIIS 
111 2  IFIP Working Conference on Formal Description of 
       Programming Concepts|d(1986 :|cEbberup, Denmark) 
245 10 Formal description of programming concepts-III /|cedited 
       by Martin Wirsing 
260    Amsterdam :|bNorth-Holland,|c1987 
300    xii, 453 p. :|bill. ;|c24 cm 
500    Proceedings of the IFIP TC2/WG 2.2 working conference on 
       formal description of programming concepts, Ebberup, 
       Denmark, 25-28 August, 1986 
650  7 Programming languages|2iis 
650  7 Formal descriptions|2iis 
700 1  Wirsing, Martin 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室會議論文區  Proc D3.1 F7235:2 1986    館內使用    30330000057609