Proceedings eight international workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003 / Arts, Thomas

Public ISBD No review available on this record. 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

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
32002000143667	QA76.758 I58 2003	Book	Graduate Library	General Shelf	Available