Library Logo
Bengali Keyboard

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

MARC details
000 -LEADER
fixed length control field 01072nam a2200289 4500
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhGUBL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251111120849.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 251111s2014 enka 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781848216327
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781119004707
040 ## - CATALOGING SOURCE
Original cataloging agency BD-DhGUBL
Description conventions BD-DhGUBL
Transcribing agency BD-DhGUBL
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 620.001171
Edition number 23
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Boulanger, Jean-Louis
245 00 - TITLE STATEMENT
Title Formal methods applied to industrial complex systems /
Statement of responsibility, etc edited by Jean-Louis Boulanger.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London :
Name of publisher, distributor, etc ISTE,
Date of publication, distribution, etc c 2014.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 458 p. :
Other physical details ill. :
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
General subdivision Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
General subdivision Computer simulation.
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 Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Validation.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Industrial safety
General subdivision Computer simulation.
710 ## - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Pomerol, Jean-Charles
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119004707?download=true">https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119004707?download=true</a>
Link text Click here to download
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type E-Books

No items available.



Last Updated Oct 16, 2019.
Copyright © Green University Library
Green University of Bangladesh
University Home | Library Home

Powered by Koha