Formal methods applied to complex systems : (Record no. 21636)

MARC details
000 -LEADER
fixed length control field 02247cam a2200625Ki 4500
001 - CONTROL NUMBER
control field ocn887825577
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230823095620.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 140819s2014 enka ob 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency N$T
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency N$T
Modifying agency DG1
-- YDXCP
-- E7B
-- OCLCF
-- OCLCQ
-- DEBBG
019 ## -
-- 961504398
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781119002680
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1119002680
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781119002727
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1119002729
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 1848217099
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781848217096
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000053548381
029 1# - (OCLC)
OCLC library identifier CHBIS
System control number 010259755
029 1# - (OCLC)
OCLC library identifier CHBIS
System control number 010290453
029 1# - (OCLC)
OCLC library identifier CHNEW
System control number 000696705
029 1# - (OCLC)
OCLC library identifier CHNEW
System control number 000696706
029 1# - (OCLC)
OCLC library identifier CHVBK
System control number 325940037
029 1# - (OCLC)
OCLC library identifier CHVBK
System control number 331625075
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15908971
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV043397075
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)887825577
Canceled/invalid control number (OCoLC)961504398
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.B22
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051230
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Formal methods applied to complex systems :
Remainder of title implementation of the B Method /
Statement of responsibility, etc edited by Jean-Louis Boulanger.
264 #1 -
-- London :
-- ISTE ;
-- 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# -
-- Print version record.
526 ## - STUDY PROGRAM INFORMATION NOTE
Department Software Engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element B method (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element B method (Computer science)
Source of heading or term fast
-- (OCoLC)fst00824798
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
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 complex systems
International Standard Book Number 1848217099
Record control number (DLC) 2014939764
-- (OCoLC)880199466
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/9781119002727">http://dx.doi.org/10.1002/9781119002727</a>
Public note Wiley Online Library
994 ## -
-- 92
-- DG1

No items available.