Library Logo
Bengali Keyboard

Formal Methods for Industrial Critical Systems : (Record no. 5091)

MARC details
000 -LEADER
fixed length control field 00774nac a2200217 a 4500
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhGUBL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250825110827.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250825s20132012njua|||| |||| 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470876183 ( Print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781118459898 (Online)
040 ## - CATALOGING SOURCE
Original cataloging agency BD-DhGUBL
Transcribing agency BD-DhGUBL
Modifying agency BD-DhGUBL
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 23
Classification number 004.0151
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Gnesi, Stefania
245 ## - TITLE STATEMENT
Title Formal Methods for Industrial Critical Systems :
Remainder of title A Survey of Applications /
Statement of responsibility, etc Stefania Gnesi, Tiziana Margaria
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Hoboken, New Jersey
Name of publisher, distributor, etc John Wiley & Sons,
Date of publication, distribution, etc c2013.
300 ## - PHYSICAL DESCRIPTION
Extent xix, 269p. :
Other physical details ill.
500 ## - GENERAL NOTE
General note Includes index.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Margaria, Tiziana
Relator term Joint author
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118459898?download=true">https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118459898?download=true</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book

No items available.



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

Powered by Koha