Formal methods for industrial critical systems : (Record no. 14366)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06879cam a2200949Ii 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn820719492 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171224115045.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121210t20132013dcua ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| Canceled/invalid LC control number | 2012016775 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | N$T |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | N$T |
| Modifying agency | UIU |
| -- | DG1 |
| -- | COO |
| -- | YDXCP |
| -- | IEEEE |
| -- | DG1 |
| -- | CUS |
| -- | ZMC |
| -- | IDEBK |
| -- | OCLCF |
| -- | FTU |
| -- | HEBIS |
| -- | UAT |
| -- | OCLCO |
| -- | E7B |
| -- | C6I |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCQ |
| -- | OCLCO |
| -- | UIU |
| -- | AZK |
| 019 ## - | |
| -- | 828095857 |
| -- | 961504622 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118459898 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 111845989X |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118459867 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1118459865 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781283858885 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1283858886 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9780470876183 |
| Qualifying information | (print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 0470876182 |
| Qualifying information | (print) |
| 024 3# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 9781118459898 |
| 029 1# - (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000050378599 |
| 029 1# - (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000621248 |
| 029 1# - (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV041907889 |
| 029 1# - (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 379793032 |
| 029 1# - (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 423149288 |
| 029 1# - (OCLC) | |
| OCLC library identifier | NLGGC |
| System control number | 355443716 |
| 029 1# - (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15542317 |
| 029 1# - (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 15915300 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)820719492 |
| Canceled/invalid control number | (OCoLC)828095857 |
| -- | (OCoLC)961504622 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.F67 |
| Item number | F654 2013 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 013000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 018000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 067000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 032000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 037000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 052000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.01/51 |
| Edition number | 23 |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | COM059000 |
| Source of number | bisacsh |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 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. |
| 264 #1 - | |
| -- | [Washington, DC] : |
| -- | IEEE Computer Society ; |
| -- | Hoboken, New Jersey : |
| -- | Wiley, |
| -- | [2013] |
| 264 #4 - | |
| -- | ©2013 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xxi, 270 pages) : |
| Other physical details | illustrations (some color) |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Title | Foreword / |
| Statement of responsibility | Mike Hinchey -- |
| Title | Foreword / |
| Statement of responsibility | Allesandro Fantechi and Pedro Merino -- |
| Miscellaneous information | Part I. |
| Title | Introduction and State of the Art. |
| -- | Formal Methods: Applying {Logics in, Theoretical} Computer Science / |
| Statement of responsibility | Diego Latella -- |
| Miscellaneous information | Part II. |
| Title | Modeling Paradigms. |
| -- | A Synchronous Language at Work: The Story of Lustre / |
| Statement of responsibility | Nicolas Halbwachs -- |
| Title | Requirements of an Integrated Formal Method for Intelligent Swarms / |
| Statement of responsibility | Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- |
| Miscellaneous information | Part III. |
| Title | Transportation Systems. |
| -- | Some Trends in Formal Methods Applications to Railway Signaling / |
| Statement of responsibility | Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- |
| Title | Symbolic Model Checking for Avionics / |
| Statement of responsibility | Radu I. Siminiceanu and Gianfranco Ciardo -- |
| Miscellaneous information | Part IV. |
| Title | Telecommunications -- |
| -- | Applying Formal Methods to Telecommunication Services with Active Networks / |
| Statement of responsibility | María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- |
| Title | Practical Applications of Probabilistic Model Checking to Communication Protocols / |
| Statement of responsibility | Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- |
| Miscellaneous information | Part V. |
| Title | Internet and Online Services. Design for Verifiability: The OCS Case Study / |
| Statement of responsibility | Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- |
| Title | An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / |
| Statement of responsibility | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- |
| Miscellaneous information | Part VI. |
| Title | Runtime: Testing and Model Learning. |
| -- | The Testing and Test Control Notation TTCN-3 and its Use / |
| Statement of responsibility | Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- |
| Title | Practical Aspects of Active Automata Learning / |
| Statement of responsibility | Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria. |
| 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"-- |
| -- | Provided by publisher. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "Balances leading edge material, established practice, and reviews of historically important contributions"-- |
| -- | Provided by publisher. |
| 588 0# - | |
| -- | Print version record and online resource; title from PDF title page (IEEE Xplore, viewed March 25, 2014). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science) |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Ebooks |
| General subdivision | UML. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Computer Engineering. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Computer Literacy. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Computer Science. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Data Processing. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Hardware |
| -- | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Information Technology. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Machine Theory. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Reference. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science) |
| Source of heading or term | fast |
| -- | (OCoLC)fst00932926 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Sicherheitskritisches System |
| Source of heading or term | gnd |
| -- | (DE-588)4767762-4 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formale Methode |
| Source of heading or term | gnd |
| -- | (DE-588)4333722-3 |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gnesi, Stefania, |
| Dates associated with a name | 1954- |
| Relator term | editor. |
| Relator code | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Margaria-Steffen, Tiziana, |
| Dates associated with a name | 1964- |
| Relator term | editor. |
| Relator code | edt |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version: |
| Title | Formal methods for industrial critical systems. |
| Place, publisher, and date of publication | [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013] |
| International Standard Book Number | 9780470876183 |
| Record control number | (DLC) 2012016775 |
| -- | (OCoLC)795059113 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118459898">http://onlinelibrary.wiley.com/book/10.1002/9781118459898</a> |
| Public note | Wiley Online Library |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10631333 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 504231 |
| 938 ## - | |
| -- | Ingram Digital eBook Collection |
| -- | IDEB |
| -- | cis24366582 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 9935179 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 9249304 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 9984804 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 12676024 |
| 994 ## - | |
| -- | 92 |
| -- | DG1 |
No items available.