Reprinted Collection. Extending cross-tool traceability to formal methods / Mason, Paul

Public ISBD No review available on this record. Collection Title: Reprinted Collection Title : Extending cross-tool traceability to formal methods Material Type: printed text Authors: Mason, Paul, Author ; King Mongkut's University of Technology Thonburi. School of Information Technology, Associated Name ; International Conference on Advances in Information Technology (2nd : 2007 : Bangkok), Pagination: 8 p. Layout: ill. Size: 30 cm. Price: 50 Baht Languages : English (eng) Descriptors: [LCSH]Formal methods (Computer science) Record link: http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=13757 Reprinted Collection. Extending cross-tool traceability to formal methods [printed text] / Mason, Paul, Author ; King Mongkut's University of Technology Thonburi. School of Information Technology, Associated Name ; International Conference on Advances in Information Technology (2nd : 2007 : Bangkok),  . - [s.d.] . - 8 p. : ill. ; 30 cm. 50 Baht Languages : English (eng) Descriptors: [LCSH]Formal methods (Computer science) Record link: http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=13757

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
32002000204972	REP312 2007 c.1	Reprinted	Graduate Library	Reprint Shelf	Available
32002000204980	REP312 2007 c.2	Reprinted	Main Library	Reprint Shelf	Available