Formal Methods: (Record no. 5126)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00896nam a2200241 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-DhGUBL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250903151603.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250903m20122013njua|||| |||| 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781848213623 (Print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118561898 (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 | 385.0285′53 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boulanger, Jean-Louis Boulanger |
| 245 ## - TITLE STATEMENT | |
| Title | Formal Methods: |
| Remainder of title | Industrial Use from Model to the Code / |
| Statement of responsibility, etc | Jean-Louis Boulanger |
| 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 | c2012. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 384p. : |
| Other physical details | ill. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Railroads--Management--Data processing |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science) |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Application software--Development |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561898?download=true">https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561898?download=true</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
No items available.
Bengali Keyboard