Normal view MARC view ISBD view

Formal methods for industrial critical systems a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.

Contributor(s): Gnesi, Stefania, 1954- [editor.] | Margaria-Steffen, Tiziana, 1964- [editor.].

Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Description: 1 online resource (xxi, 270 pages) : illustrations (some color).Content type: text Media type: computer Carrier type: online resourceISBN: 9781118459898 (electronic bk.); 111845989X (electronic bk.); 9781118459867 (electronic bk.); 1118459865 (electronic bk.); 9781283858885 (electronic bk.); 1283858886 (electronic bk.); 9781118561898 (electronic bk.); 1118561899 (electronic bk.).Subject(s): Formal methods (Computer science)

Genre/Form: Electronic books.Additional physical formats: Print version:: Formal methods for industrial critical systems.DDC classification: 004.01/51 Online resources: An electronic book accessible through the World Wide Web; click to view

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Copy number	Status	Notes	Date due	Barcode
Main Collection	Taylor's Library - Perpetual(TU)	004.01/51 (Browse shelf)	1	e-book	SOCIT,15009,03,CL,PPT

Browsing Taylor's Library-TU Shelves Close shelf browser

Previous								Next
Previous	004.01/51 The beauty of mathematics in computer science /	004.01/51 Information technology and applied mathematics :	004.01/51 Digital functions and data reconstruction	004.01/51 Formal methods for industrial critical systems	004.01/9 Coverbal synchrony in human-machine interaction /	004.01/9 Information systems and neuroscience :	004.01/9 Emerging research and trends in interactivity and the human-computer interface /	Next

Includes bibliographical references and index.

Description based on print version record and online resource ; title from PDF title page (IEEE Xplore, viewed March 25, 2014).