• Inventory number: 31854
  
• Language: E
  
• Type: B
  
• Call number: 004
  
• Author number: P 729
  
• ISBN: 0-262-1688-5
  
• Title: PROOF LANGUAGE AND INTERACTION ESSYS IN HONOUR OF ROBIN MILNER
  
• Author: ED: GORDON PLOTHIN CDIN STIRLING
  
• Author: MAELS TOFTE
  
• Place of publication and publisher: CAMBRIDGE : THE MIT PRESS
  
• Publication date: 2000
  
• Pages: 722
  
• Series: FOUNDATION OF COMPUTING
  
• Notes: FIGURE TABLE
  
• Subject: COMPUTER SCIENCE
  
• Subject: MILNER ,R. ROBIN 1934
  
• Number of copies: 01
  

help - new search - home - عربي

Beta version

 

 

 

 

 

 

 

Copyright © 2006 Iraqi National Library and Archive All rights reserved