Formal Methods Proceedings Fm99 World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 20-24, 1999 1
Material type: TextLanguage: English Publication details: Berlin : Springer-Verlag, c1999Description: XVIII, 937 pISBN:- 3540665870
- 005.131 FOR
Contents:
v. 1.
Item type | Current library | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Lending Collection | Circulation Section | Circulation Section | 005.131 FOR | Available | 61579 |
v. 1.