建國科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

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

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Industrial Use of Formal Methods : f...

Boulanger, Jean-Louis

Industrial Use of Formal Methods : formal verification

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	formal verification
其他作者:	BoulangerJean-Louis,
出版地:	London
出版者:	ISTE; Wiley;
出版年:	2012
面頁冊數:	xv, 298 p.ill. : 24 cm.;
標題:	Computer simulation -
標題:	Computer software - Verification -
標題:	Formal methods (Computer science) -
標題:	Nondestructive testing -
標題:	Systems engineering - Data processing -
附註:	Includes bibliographical references and index
摘要註:	"At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example)"--Provided by publisher
ISBN:	978-1-84-821363-0

Industrial Use of Formal Methods : formal verification
Industrial Use of Formal Methods : formal verification / edited by Jean-Louis Boulanger - London : ISTE, 2012. - xv, 298 p. ; ill. ; 24 cm..
Includes bibliographical references and index.
ISBN 978-1-84-821363-0ISBN 1-84-821363-8
Computer simulationComputer softwareFormal methods (Computer science)Nondestructive testingSystems engineering -- Verification -- Data processing

Boulanger, Jean-Louis

Industrial Use of Formal Methods : formal verification
LDR:01323cam0a2200217 450 001 346835
005 20130613110728.0
009 2012011854
010 1 $a 978-1-84-821363-0 $b hbk. $d NT4629
010 1 $a 1-84-821363-8 $b hbk.
020 $b 2012011854
100 $a 20150121d m y0chib
101 0 $a eng
102 $a gb
105 $a a a 001yy
200 1 $a Industrial Use of Formal Methods $e formal verification $f edited by Jean-Louis Boulanger
210 $a London $c ISTE $a Hoboken, NJ $c Wiley $d 2012
215 1 $a xv, 298 p. $c ill. $d 24 cm.
300 $a Includes bibliographical references and index
330 $a "At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example)"--Provided by publisher
606 # $a Computer simulation $2 lc $3 72877
606 # $a Computer software $x Verification $2 lc $3 321835
606 # $a Formal methods (Computer science) $2 lc $3 300625
606 # $a Nondestructive testing $2 lc $3 321836
606 # $a Systems engineering $x Data processing $2 lc $3 321837
676 $a 005.101 $v 23
680 $a TA168 $b .I45 2012
702 1 $a Boulanger $b Jean-Louis $3 321834