Industrial used of formal method : formal verification / (Record no. 206466)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03087cam a2200673Ma 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn828198474 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171107094253.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| 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 |
| 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# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000052185390 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHBIS |
| System control number | 010131693 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 314714790 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | GBVCP |
| System control number | 79003851X |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15341133 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15905488 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (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 |
| 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 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 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 |
| Number source | bisacsh |
| 245 00 - TITLE STATEMENT | |
| Title | Industrial used of formal method : formal verification / |
| Statement of responsibility, etc. | edited by Jean-Louis Boulanger. |
| Medium | [electronic resource] |
| 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 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 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)"-- |
| Assigning source | Provided by publisher. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 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 |
| Authority record control number | (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 |
| Authority record control number | (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 |
| Authority record control number | (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 |
| Authority record control number | (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 |
| Authority record control number | (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 | |
| Relationship information | 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 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Books |
No items available.