FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings
Material type:
TextSeries: Lecture notes in computer science ; 01708Publication details: Berlin; Springer; 1999Description: 937ISBN: - 3540665870
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | Available | 50922 |
There are no comments on this title.
Log in to your account to post a comment.