Formal methods applied to industrial complex systems / (Record no. 13630)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02586cam a2200661Ii 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn886654279 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171224114713.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 cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140813s2014 enk ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DG1 |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | DG1 |
| Modifying agency | N$T |
| -- | YDXCP |
| -- | OCLCQ |
| -- | RECBK |
| -- | OCLCF |
| -- | DEBBG |
| 019 ## - | |
| -- | 889347146 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119004707 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119004705 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119004844 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119004845 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9781848216327 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 1848216327 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/9781119004707 |
| Source of number or code | doi |
| 029 1# - (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15753504 |
| 029 1# - (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15907015 |
| 029 1# - (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 334084423 |
| 029 1# - (OCLC) | |
| OCLC library identifier | CHBIS |
| System control number | 010442129 |
| 029 1# - (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043397037 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)886654279 |
| Canceled/invalid control number | (OCoLC)889347146 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.F67 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC |
| Subject category code subdivision | 009000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC |
| Subject category code subdivision | 035000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.01/51 |
| Edition number | 23 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 245 00 - TITLE STATEMENT | |
| Title | Formal methods applied to industrial complex systems / |
| Statement of responsibility, etc | edited by Jean-Louis Boulanger. |
| 264 #1 - | |
| -- | London : |
| -- | ISTE, Ltd. ; |
| -- | Hoboken, NJ : |
| -- | Wiley, |
| -- | 2014. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Computer engineering series |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 588 0# - | |
| -- | Online resource; title from PDF title page (Wiley, viewed Aug. 13, 2014). |
| 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 | Industrial management |
| General subdivision | Mathematical models. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | TECHNOLOGY & ENGINEERING |
| General subdivision | Engineering (General) |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | TECHNOLOGY & ENGINEERING |
| General subdivision | Reference. |
| Source of heading or term | bisacsh |
| 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 | Industrial management |
| General subdivision | Mathematical models. |
| Source of heading or term | fast |
| -- | (OCoLC)fst00971310 |
| 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, |
| Relator term | editor. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version: |
| Title | Formal methods applied to industrial complex systems |
| International Standard Book Number | 9781848216327 |
| Record control number | (DLC) 2014936487 |
| -- | (OCoLC)887892541 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Computer engineering series (London, England) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://onlinelibrary.wiley.com/book/10.1002/9781119004707">http://onlinelibrary.wiley.com/book/10.1002/9781119004707</a> |
| Public note | Wiley Online Library |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 812782 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 11972162 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 11976049 |
| 938 ## - | |
| -- | Recorded Books, LLC |
| -- | RECE |
| -- | rbeEB00476208 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 12677939 |
| 994 ## - | |
| -- | 92 |
| -- | DG1 |
No items available.