Tools

LEADER 02770cam 2200553 a 4500

001 ocn788249051;

003 OCoLC;

005 20141212033219.0;

008 120424s2012 enka b 001 0 eng ;

010 a| 2012011854;

020 a| 9781848213630 (hardback);

020 a| 1848213638 (hardback);

029 1 a| AU@b| 000049091639;

035 a| (Sirsi) 99950580600;

035 a| (OCoLC)788249051;

035 a| 99950580600;

042 a| pcc;

049 a| EREE;

050 00 a| TA168b| .I45 2012;

082 00 a| 005.1012| 23;

084 a| TEC0090602| bisacsh;

245 00 a| Industrial used of formal method :b| formal verification /c| edited by Jean-Louis Boulanger.;

300 a| xv, 298 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

520 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)"--c| Provided by publisher.;

504 a| Includes bibliographical references and index.;

650 0 a| Systems engineeringx| Data processing.=| ^A10285;

650 0 a| Computer simulation.=| ^A72820;

650 0 a| Formal methods (Computer science)=| ^A446919;

650 0 a| Computer softwarex| Verification.=| ^A277748;

650 0 a| Nondestructive testing.=| ^A23224;

650 7 a| TECHNOLOGY & ENGINEERING / Industrial Engineering.2| bisacsh;

700 1 a| Boulanger, Jean-Louis.=| ^A1034805;

938 a| Baker and Taylorb| BTCPn| BK0011110793;

938 a| YBP Library Servicesb| YANKn| 100591012;

938 a| Blackwell Book Service UKb| BBUKn| 100591012;

938 a| YBP Library Services UKb| YBPKn| 100591012;

938 a| Blackwell Book Serviceb| BBUSn| 100591012;

938 a| Coutts Information Servicesb| COUTn| 21965523;

949 a| TA168 .I45 2012h| Joyner48i| 30372013877318o| jjlm;

910 a| PromptCat;

994 a| 92b| ERE;

596 a| 1;

998 a| 3124839;

999 a| TA168 .I45 2012w| LCc| 1i| 30372013877318d| 12/5/2012e| 11/9/2012f| 12/5/2012g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/9/2012x| BOOKz| JSTACKSo| .STAFF. jjlm;

Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger.

Other author	Boulanger, Jean-Louis.
Format	Book
Publication Info	London : ISTE ; Hoboken, NJ : Wiley, ©2012.
Description	xv, 298 pages : illustrations ; 24 cm
Subjects	Systems engineering--Data processing. Computer simulation. Formal methods (Computer science) Computer software--Verification. Nondestructive testing.

Abstract	"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.
Bibliography note	Includes bibliographical references and index.
LCCN	2012011854
ISBN	9781848213630 (hardback)
ISBN	1848213638 (hardback)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TA168 .I45 2012	✔ Available	Place Hold

Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger.

Click here for more information about this title

Availability