Static analysis : 3rd International symposium, SAS'96 : Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot ... [et al.] (eds.)

• Record Nr.: UNISA990000207460203316
• Autore: International symposium SAS'96 : 3. : 1996
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61739-6
• Descrizione fisica: IX, 388 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1145
• Disciplina: 0051
• Collocazione: 001 LNCS (1145)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia