NovaCat - NSU Libraries Catalog user info Skip the menu to the main content
Brief Display Limit/Sort
     

Num Check AUTHORS (1-2 of 2) Format Year
1 ACM Symposium on Principles of Programming Languages.      
      Conference record of the ... Annual ACM Symposium on Principles of Programming Languages / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Th QA76.7 .A25a ; Sherman Library   PRINT MATERIAL c1978-
2 ACM Symposium on Principles of Programming Languages / (31st :     
      Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds). QA76.76.V47 V53 2004 ; Sherman Library   PRINT MATERIAL 2004
Brief Display Limit/Sort
Use classic NovaCat |