Welcome to Central Library, SUST

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

MARC details
000 -LEADER
fixed length control field 02534cam a2200673Ki 4500
001 - CONTROL NUMBER
control field sulb-eb0033478
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170713221407.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 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
-- BD-SySUS
019 ## -
-- 961504398
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781119002680
Qualifying information (electronic bk.)
International Standard Book Number 1119002680
Qualifying information (electronic bk.)
International Standard Book Number 9781119002727
Qualifying information (electronic bk.)
International Standard Book Number 1119002729
Qualifying information (electronic bk.)
Canceled/invalid ISBN 1848217099
Canceled/invalid ISBN 9781848217096
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000053548381
OCLC library identifier CHBIS
System control number 010259755
OCLC library identifier CHBIS
System control number 010290453
OCLC library identifier CHNEW
System control number 000696705
OCLC library identifier CHNEW
System control number 000696706
OCLC library identifier CHVBK
System control number 325940037
OCLC library identifier CHVBK
System control number 331625075
OCLC library identifier NZ1
System control number 15908971
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 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture London :
Name of producer, publisher, distributor, manufacturer ISTE ;
Place of production, publication, distribution, manufacture Hoboken, NJ :
Name of producer, publisher, distributor, manufacturer Wiley,
Date of production, publication, distribution, manufacture, or copyright notice 2014.
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
490 1# - SERIES STATEMENT
Series statement Computer engineering series
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
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 B method (Computer science)
Topical term or geographic name as entry element Formal methods (Computer science)
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
Topical term or geographic name as entry element B method (Computer science)
Source of heading or term fast
Authority record control number (OCoLC)fst00824798
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
Authority record control number (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
Relationship information 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://onlinelibrary.wiley.com/book/10.1002/9781119002727">http://onlinelibrary.wiley.com/book/10.1002/9781119002727</a>
Public note Wiley Online Library [Free Download only for SUST IP]
938 ## -
-- ebrary
-- EBRY
-- ebr10899803
-- EBSCOhost
-- EBSC
-- 817391
-- YBP Library Services
-- YANK
-- 12002292
-- YBP Library Services
-- YANK
-- 12006187
-- YBP Library Services
-- YANK
-- 12677929
994 ## -
-- 92
-- DG1

No items available.