FM'99 - formal methods (Vol 2)

• Record Nr.: UNISA990000193610203316
• Pubbl/distr/stampa: Copyr. 1999
• ISBN: 3-540-66588-9
• Descrizione fisica: XVIII, 1875 p
• Collocazione: 001 LNCS (1709)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia