Formal methods for industrial critical systems : (Record no. 22755)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02385cam a22003135a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 17278306 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20161020142146.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 120430t2013 njua frb 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470876183 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Language of cataloging | eng |
| Transcribing agency | DLC |
| Modifying agency | DLC |
| -- | EG-ScBUE |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 22 |
| Item number | FOR |
| 245 00 - TITLE STATEMENT | |
| Title | Formal methods for industrial critical systems : |
| Remainder of title | a survey of applications / |
| Statement of responsibility, etc | edited by Stefania Gnesi, Tiziana Margaria. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Hoboken : |
| Name of publisher, distributor, etc | IEEE Computer Society ; |
| -- | John Wiley & Sons, |
| Date of publication, distribution, etc | c.2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxi, 270 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm |
| 500 ## - GENERAL NOTE | |
| General note | Index : p. 269-270. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Bibliography : p. 264-267. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems"-- |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "Balances leading edge material, established practice, and reviews of historically important contributions"-- |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | SAMEH |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science) |
| Source of heading or term | BUEsh |
| 9 (RLIN) | 29211 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer engineering. |
| Source of heading or term | BUEsh |
| 9 (RLIN) | 11911 |
| 651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME | |
| Source of heading or term | BUEsh |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Resource For college | Informatics and Computer Science |
| Arrived date list | October2016 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gnesi, Stefania, |
| Dates associated with a name | 1954- |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Margaria-Steffen, Tiziana, |
| Dates associated with a name | 1964- |
| Relator term | editor. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Contributor biographical information |
| Uniform Resource Identifier | <a href="http://www.loc.gov/catdir/enhancements/fy1304/2012016775-b.html">http://www.loc.gov/catdir/enhancements/fy1304/2012016775-b.html</a> |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Table of contents only |
| Uniform Resource Identifier | <a href="http://www.loc.gov/catdir/enhancements/fy1305/2012016775-t.html">http://www.loc.gov/catdir/enhancements/fy1305/2012016775-t.html</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Withdrawn status | Item status | Source of classification or shelving scheme | Damaged status | Not for loan | Vendor | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Serial Enumeration / chronology | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Academic Bookshop | Central Library | Central Library | Lower Floor | 20/10/2016 | Purchase | 544.00 | 9128 | 004.0151 FOR | 000034213 | 15/07/2025 | 680.00 | Book - Borrowing |