Industrial used of formal method : (Record no. 12485)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03242cam a2200721Ma 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn828198474 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171224114205.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 | |
| International Standard Book Number | 1848213638 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781848213630 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118561829 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1118561821 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781299187078 |
| Qualifying information | (MyiLibrary) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1299187072 |
| Qualifying information | (MyiLibrary) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118587904 |
| Qualifying information | (e-book) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 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. |
| 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 | http://onlinelibrary.wiley.com/book/10.1002/9781118561829 |
| Public note | Wiley Online Library |
| 938 ## - | |
| -- | Coutts Information Services |
| -- | COUT |
| -- | 24807184 |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10657668 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 9984802 |
| 994 ## - | |
| -- | 92 |
| -- | DG1 |
No items available.