Library Logo
Bengali Keyboard

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

MARC details
000 -LEADER
fixed length control field 00986aaa a2200265 a 4500
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhGUBL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251111122158.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 140721s2014 enka b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781848217096
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781119002727
040 ## - CATALOGING SOURCE
Original cataloging agency BD-DhGUBL
Description conventions BD-DhGUBL
Transcribing agency BD-DhGUBL
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Boulange, Jean-Lois
Relator term Editor
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-Lois 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 xx, 490p. :
Other physical details ill. :
490 1# - SERIES STATEMENT
Series statement Computer engineering series
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 Formal methods (Computer science)
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 Computer science
General subdivision Mathematical models.
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/9781119002727?download=true">https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119002727?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