Title :	Proceedings eight international workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003
Material Type:	printed text
Authors:	Arts, Thomas, Author ; Fokkink, Wan, Associated Name ; Norwegian University of Science and Technology, Associated Name
Pagination:	305 p.
Layout:	pbk.
Size:	24 cm.
Languages :	English (eng)
Descriptors:	[LCSH]Application software -- Development [LCSH]Formal methods (Computer science) -- Congreeses [LCSH]Industrial Critical Systems [LCSH]Object-oriented methods (Computer science) [LCSH]Software engineering -- Congreeses
Curricular :	BSMT/MSIT/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=8381

Proceedings eight international workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003 [printed text] / Arts, Thomas, Author ; Fokkink, Wan, Associated Name ; Norwegian University of Science and Technology, Associated Name . - [s.d.] . - 305 p. : pbk. ; 24 cm.
Languages : English (eng)

Descriptors:	[LCSH]Application software -- Development [LCSH]Formal methods (Computer science) -- Congreeses [LCSH]Industrial Critical Systems [LCSH]Object-oriented methods (Computer science) [LCSH]Software engineering -- Congreeses
Curricular :	BSMT/MSIT/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=8381