Industrial used of formal method : (Record no. 20170)

MARC details
000 -LEADER
fixed length control field 03090cam a2200697Ma 4500
001 - CONTROL NUMBER
control field ocn828198474
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230823095619.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |n|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120424s2012 enk ob 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2012011854
040 ## - CATALOGING SOURCE
Original cataloging agency CDX
Language of cataloging eng
Description conventions pn
Transcribing agency CDX
Modifying agency OCLCO
-- CUS
-- UIU
-- E7B
-- OCLCQ
-- OCLCF
-- YDXCP
-- OCLCQ
-- COO
-- OCLCQ
-- AZK
-- DG1
019 ## -
-- 961604074
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1848213638
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781848213630
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118561829
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118561821
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781299187078
Qualifying information (MyiLibrary)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1299187072
Qualifying information (MyiLibrary)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118587904
Qualifying information (e-book)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118587901
Qualifying information (e-book)
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000052185390
029 1# - (OCLC)
OCLC library identifier CHBIS
System control number 010131693
029 1# - (OCLC)
OCLC library identifier CHVBK
System control number 314714790
029 1# - (OCLC)
OCLC library identifier GBVCP
System control number 79003851X
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15341133
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15905488
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV041829168
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)828198474
Canceled/invalid control number (OCoLC)961604074
037 ## - SOURCE OF ACQUISITION
Stock number 449957
Source of stock number/acquisition MIL
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TA168
Item number .I45 2012eb
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.101
Edition number 23
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TEC009060
Source of number bisacsh
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Industrial used of formal method :
Remainder of title formal verification /
Statement of responsibility, etc edited by Jean-Louis Boulanger.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London :
Name of publisher, distributor, etc ISTE ;
Place of publication, distribution, etc Hoboken, NJ :
Name of publisher, distributor, etc Wiley,
Date of publication, distribution, etc ©2012.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# -
-- Print version record.
520 ## - SUMMARY, ETC.
Summary, etc "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.
526 ## - STUDY PROGRAM INFORMATION NOTE
Department Software Engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
General subdivision Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer simulation.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Nondestructive testing.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer simulation.
Source of heading or term fast
-- (OCoLC)fst00872518
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
Source of heading or term fast
-- (OCoLC)fst00872604
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
-- (OCoLC)fst00932926
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Nondestructive testing.
Source of heading or term fast
-- (OCoLC)fst01430903
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
General subdivision Data processing.
Source of heading or term fast
-- (OCoLC)fst01141459
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Boulanger, Jean-Louis.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
International Standard Book Number 9781299187078
Record control number (DLC) 2012011854
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a>
Public note Wiley Online Library
994 ## -
-- 92
-- DG1

No items available.