MARC 主機 00000pam  2200000 a 4500 
001       95047444 
003    DLC 
005    19960304101601.7 
008    951026s1995    gw a     b    101 0 eng   
010    95047444 
020    3540606300  (Berlin : acid-free paper) 
040    DLC|cDLC|dDLC|dAS|dIIS 
050 00 QA76.9.S88|bT66 1995 
082 00 005.2|220 
111 2  International Workshop on Tools and Algorithms for the 
       Construction and Analysis of Systems|n(1st :|d1995 :
       |cAarhus, Denmark) 
245 10 Tools and algorithms for the construction and analysis of 
       systems :|bfirst international workshop, TACAS "95, Aarhus,
       Denmark, May 19-20, 1995 : selected papers /|cE. Brinksma 
       ... [et al.], (eds.) 
246 30 TACAS '95 
260    Berlin ;|aNew York :|bSpringer,|cc1995 
300    289 p. :|bill. ;|c24 cm 
440  0 Lecture notes in computer science ;|v1019 
504    Includes bibliographical references and index 
650  0 System design|xCongresses 
650  0 Computer software|xDevelopment|xCongresses 
650  0 Electronic data processing|xDistributed processing
       |xCongress 
650  7 Distributed systems|2iis 
700 1  Brinksma, Ed