From this page you can:
Home |
Author details
Author King Mongkut's University of Technology Thonburi. School of Information Technology
Available item(s) by this author



The 5th International Conference on e-Business 2006 / King Mongkut's University of Technology Thonburi. School of Information Technology / Bangkok : KMUTT - 2006
Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 32002000243483 QA75.5 I616 2006 Book Main Library General Shelf Available 32002000210417 HD45.2 P963 2006 c.2 Book Main Library Library Counter Available Reprinted Collection. Extending cross-tool traceability to formal methods / Mason, Paul
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