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: 3540665870Subject(s): Formal methods (Computer science) Congresses. Application software Development CongressesCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 50922 |
There are no comments on this title.