Formal methods applied to industrial complex systems / (Record no. 21610)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02332cam a2200613Ii 4500 |
001 - CONTROL NUMBER | |
control field | ocn886654279 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20230823094720.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 | |
ISBN | 9781119004707 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 1119004705 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781119004844 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 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). |
526 ## - STUDY PROGRAM INFORMATION NOTE | |
Department | Computer Science and Engineering |
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://dx.doi.org/10.1002/9781119004707">http://dx.doi.org/10.1002/9781119004707</a> |
Public note | Wiley Online Library |
994 ## - | |
-- | 92 |
-- | DG1 |
No items available.