Formal methods applied to industrial complex systems / (Record no. 21610)

MARC details
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.