語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Formal methods (Computer science)" ]
切換:
標籤
|
MARC模式
|
ISBD
Formal methods for industrial critic...
~
Gnesi, Stefania, (1954-)
FindBook
Google Book
Amazon
博客來
Formal methods for industrial critical systems = a survey of applications /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal methods for industrial critical systems/ edited by Stefania Gnesi, Tiziana Margaria.
其他題名:
a survey of applications /
其他作者:
Gnesi, Stefania,
出版者:
Hoboken, N.J. :John Wiley & Sons Inc. : : c2013.,
面頁冊數:
1 online resource.
標題:
Formal methods (Computer science) -
電子資源:
http://onlinelibrary.wiley.com/book/10.1002/9781118459898
ISBN:
1118459865 (electronic bk.)
Formal methods for industrial critical systems = a survey of applications /
Formal methods for industrial critical systems
a survey of applications /[electronic resource] :edited by Stefania Gnesi, Tiziana Margaria. - Hoboken, N.J. :John Wiley & Sons Inc. :c2013. - 1 online resource.
"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"--
ISBN: 1118459865 (electronic bk.)Subjects--Topical Terms:
882407
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / F654 2013
Dewey Class. No.: 004.01/51
Formal methods for industrial critical systems = a survey of applications /
LDR
:02567cmm a2200361Ma 4500
001
2002692
003
OCoLC
005
20130709123152.0
006
m o d
007
cr |||||||||||
008
151223s2013 nju o 001 0 eng d
020
$a
1118459865 (electronic bk.)
020
$a
111845989X (electronic bk.)
020
$a
9781118459867 (electronic bk.)
020
$a
9781118459898 (electronic bk.)
020
$a
9781118561898 (electronic bk.)
020
$a
1118561899 (electronic bk.)
020
$z
0470876182
020
$z
1283858886 (MyiLibrary)
020
$z
9780470876183
020
$z
9781283858885 (MyiLibrary)
035
$a
(OCoLC)828095857
035
$a
ocn828095857
040
$a
UAT
$c
UAT
$d
OCLCO
$d
DG1
$d
E7B
$d
C6I
050
4
$a
QA76.9.F67
$b
F654 2013
082
0 4
$a
004.01/51
$2
23
245
0 0
$a
Formal methods for industrial critical systems
$h
[electronic resource] :
$b
a survey of applications /
$c
edited by Stefania Gnesi, Tiziana Margaria.
260
$a
Hoboken, N.J. :
$b
John Wiley & Sons Inc. :
$a
[Washington, D.C.] :
$b
IEEE Computer Society,
$c
c2013.
300
$a
1 online resource.
520
$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"--
$c
Provided by publisher.
520
$a
"Balances leading edge material, established practice, and reviews of historically important contributions"--
$c
Provided by publisher.
588
$a
Description based on online resource; title from digital title page (viewed on Jan. 10, 2013).
650
0
$a
Formal methods (Computer science)
$3
882407
700
1
$a
Gnesi, Stefania,
$d
1954-
$3
1003609
700
1
$a
Margaria-Steffen, Tiziana,
$d
1964-
$3
844445
740
0
$a
Formal methods for industrial critical systems (Online)
856
4 0
$u
http://onlinelibrary.wiley.com/book/10.1002/9781118459898
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9270601
電子資源
11.線上閱覽_V
電子書
EB QA76.9.F67
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入