建國科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

圖書館個人資料蒐集告知聲明

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods for industrial critic...

Gnesi, Stefania (1954-)

Formal methods for industrial critical systems : a survey of applications

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	a survey of applications
其他作者:	GnesiStefania, 1954-
其他作者:	Margaria-SteffenTiziana, 1964-
出版地:	[Washington, DC]
出版者:	IEEE Computer Society; Wiley;
出版年:	c2013
面頁冊數:	xxi, 270 p.ill. : 24 cm.;
標題:	Formal methods (Computer science) -
電子資源:	http://www.loc.gov/catdir/enhancements/fy1304/2012016775-b.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy1210/2012016775-d.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy1305/2012016775-t.html
附註:	Includes bibliographical references and index
摘要註:	"Balances leading edge material, established practice, and reviews of historically important contributions"--Provided by publisher
ISBN:	978-0-470-87618-3

Formal methods for industrial critical systems : a survey of applications
Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria - [Washington, DC] : IEEE Computer Society, c2013. - xxi, 270 p. ; ill. ; 24 cm..
Includes bibliographical references and index.
ISBN 978-0-470-87618-3ISBN 0-470-87618-2
Formal methods (Computer science)

Gnesi, Stefania

Formal methods for industrial critical systems : a survey of applications
LDR:02280cam0 2200265 450 001 330160
005 20130521103848.0
009 2012016775
010 1 $a 978-0-470-87618-3 $b pbk. $d NT2546
010 1 $a 0-470-87618-2 $b pbk.
020 $a us $b 2012016775
100 $a 20130621d2013 m y0engy50 ba
101 0 $a eng
102 $a us
105 $a a a 001yy
200 1 $a Formal methods for industrial critical systems $e a survey of applications $f edited by Stefania Gnesi, Tiziana Margaria
210 $a [Washington, DC] $a Hoboken, New Jersey $c IEEE Computer Society $d c2013 $c Wiley
215 1 $a xxi, 270 p. $c ill. $d 24 cm.
300 $a Includes bibliographical references and index
330 $a "Balances leading edge material, established practice, and reviews of historically important contributions"--Provided by publisher
330 $a "Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems"--Provided by publisher
606 $a Formal methods (Computer science) $2 lc $3 300625
676 $a 004.01/51 $v 23
680 $a QA76.9.F67 $b F654 2013
702 1 $a Gnesi $b Stefania $f 1954- $3 300623
702 1 $a Margaria-Steffen $b Tiziana $f 1964- $3 300624
856 4 $3 Contributor biographical information $u http://www.loc.gov/catdir/enhancements/fy1304/2012016775-b.html
856 4 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy1210/2012016775-d.html
856 4 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy1305/2012016775-t.html