Verification of systems and circuits using LOTOS, Petri Nets, and CCS / (Record no. 11468)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05960cam a2201057Ma 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn608623935 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125532.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 070813s2008 njua ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2007033487 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MERUC |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | MERUC |
| Modifying agency | E7B |
| -- | OCLCQ |
| -- | N$T |
| -- | IDEBK |
| -- | OCLCQ |
| -- | DG1 |
| -- | UMI |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | YDXCP |
| -- | EBLCP |
| -- | UKDOC |
| -- | OCLCQ |
| -- | COO |
| -- | OCLCF |
| -- | OCLCQ |
| -- | AZK |
| -- | DG1 |
| -- | JBG |
| -- | LOA |
| -- | IAS |
| -- | OCLCQ |
| -- | COCUF |
| -- | AGLDB |
| -- | DG1 |
| -- | OCLCQ |
| -- | MOR |
| -- | LIP |
| -- | PIFAG |
| -- | ZCU |
| -- | MERUC |
| -- | OCLCQ |
| -- | U3W |
| -- | OCLCQ |
| -- | STF |
| -- | WRM |
| -- | VTS |
| -- | CEF |
| -- | NRAMU |
| -- | ICG |
| -- | INT |
| -- | VT2 |
| -- | OCLCQ |
| -- | WYU |
| -- | OCLCQ |
| -- | OCLCO |
| -- | UAB |
| -- | OCLCQ |
| -- | DKC |
| -- | OCLCQ |
| -- | M8D |
| -- | UX1 |
| -- | DCT |
| -- | OCLCQ |
| -- | UKCRE |
| -- | VLY |
| -- | AJS |
| -- | OCLCO |
| -- | OCL |
| -- | OCLCQ |
| -- | OCLCO |
| -- | INARC |
| -- | OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | GBA806238. |
| Source | bnb |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | GBA806238 |
| Source | bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
| Canceled/invalid control number | 014493167 |
| Source | Uk |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
| Canceled/invalid control number | 014493167. |
| Source | Uk |
| 019 ## - | |
| -- | 228427216 |
| -- | 232611995 |
| -- | 476150439 |
| -- | 647764451 |
| -- | 840427830 |
| -- | 961540689 |
| -- | 962634192 |
| -- | 966258867 |
| -- | 988410742 |
| -- | 991954211 |
| -- | 1037745792 |
| -- | 1038606601 |
| -- | 1045517241 |
| -- | 1055407034 |
| -- | 1064122791 |
| -- | 1077269333 |
| -- | 1081288381 |
| -- | 1101712701 |
| -- | 1103276103 |
| -- | 1110902641 |
| -- | 1129373657 |
| -- | 1152994334 |
| -- | 1153493172 |
| -- | 1162378283 |
| -- | 1192348286 |
| -- | 1228527727 |
| -- | 1240525482 |
| -- | 1412562769 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470253397 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470253398 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470253410 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 047025341X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780471704492 |
| Qualifying information | (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 0471704490 |
| Qualifying information | (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9786611284671 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 6611284672 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/9780470253410 |
| Source of number or code | doi |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000051420653 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000051432894 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000061122051 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000935376 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480157200 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV041121520 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043146757 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV044129011 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 396764347 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 400434946 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 422134880 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 430473680 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 13340278 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)608623935 |
| Canceled/invalid control number | (OCoLC)228427216 |
| -- | (OCoLC)232611995 |
| -- | (OCoLC)476150439 |
| -- | (OCoLC)647764451 |
| -- | (OCoLC)840427830 |
| -- | (OCoLC)961540689 |
| -- | (OCoLC)962634192 |
| -- | (OCoLC)966258867 |
| -- | (OCoLC)988410742 |
| -- | (OCoLC)991954211 |
| -- | (OCoLC)1037745792 |
| -- | (OCoLC)1038606601 |
| -- | (OCoLC)1045517241 |
| -- | (OCoLC)1055407034 |
| -- | (OCoLC)1064122791 |
| -- | (OCoLC)1077269333 |
| -- | (OCoLC)1081288381 |
| -- | (OCoLC)1101712701 |
| -- | (OCoLC)1103276103 |
| -- | (OCoLC)1110902641 |
| -- | (OCoLC)1129373657 |
| -- | (OCoLC)1152994334 |
| -- | (OCoLC)1153493172 |
| -- | (OCoLC)1162378283 |
| -- | (OCoLC)1192348286 |
| -- | (OCoLC)1228527727 |
| -- | (OCoLC)1240525482 |
| -- | (OCoLC)1412562769 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | 10.1002/9780470253410 |
| Source of stock number/acquisition | Wiley InterScience |
| Note | http://www3.interscience.wiley.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7874.58 |
| Item number | .Y64 2008eb |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC |
| Subject category code subdivision | 008020 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC |
| Subject category code subdivision | 008010 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.3815/48 |
| Edition number | 22 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Yoeli, Michael, |
| Dates associated with a name | 1917- |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCjyMmxGcCtVhxBb8QGbxtC |
| 245 10 - TITLE STATEMENT | |
| Title | Verification of systems and circuits using LOTOS, Petri Nets, and CCS / |
| Statement of responsibility, etc. | by Michael Yoeli and Rakefet Kol. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Hoboken, N.J. : |
| Name of publisher, distributor, etc. | Wiley-Interscience, |
| Date of publication, distribution, etc. | �2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xv, 231 pages) : |
| Other physical details | illustrations |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Wiley series on parallel and distributed computing |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS; CONTENTS; 1. Introduction; 2. Processes; 3. From Digital Hardware to Processes; 4. Introducing LOTOS; 5. Introducing Petri Nets; 6. Introducing CCS; 7. Verification of Modular Asynchronous Circuits; 8. Verification of Communication Protocols; 9. Verification of Arbiters; 10. More Verification Case Studies; 11. Guide to Further Studies; Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of. |
| 546 ## - LANGUAGE NOTE | |
| Language note | English. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Integrated circuits |
| General subdivision | Verification. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Verification. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | LOTOS (Computer program language) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Petri nets. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programs |
| General subdivision | Verification. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Circuits int�egr�es |
| General subdivision | V�erification. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logiciels |
| General subdivision | V�erification. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | LOTOS (Langage de programmation) |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | R�eseaux de P�etri. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | TECHNOLOGY & ENGINEERING |
| General subdivision | Electronics |
| -- | Circuits |
| -- | Integrated. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | TECHNOLOGY & ENGINEERING |
| General subdivision | Electronics |
| -- | Circuits |
| -- | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programs |
| General subdivision | Verification |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Verification |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Integrated circuits |
| General subdivision | Verification |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | LOTOS (Computer program language) |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Petri nets |
| Source of heading or term | fast |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kol, Rakefet. |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Verification of systems and circuits using LOTOS, Petri Nets, and CCS (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCGjXtQwJR7GV3W9Mm7Ytrq |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Yoeli, Michael, 1917- |
| Title | Verification of systems and circuits using LOTOS, Petri Nets, and CCS. |
| Place, publisher, and date of publication | Hoboken, N.J. : Wiley-Interscience, �2008 |
| Record control number | (DLC) 2007033487 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Wiley series on parallel and distributed computing. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410</a> |
| 938 ## - | |
| -- | 123Library |
| -- | 123L |
| -- | 9922 |
| 938 ## - | |
| -- | EBL - Ebook Library |
| -- | EBLB |
| -- | EBL335732 |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10296542 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 225556 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2808663 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2940102 |
| 938 ## - | |
| -- | Internet Archive |
| -- | INAR |
| -- | verificationofsy0000yoel |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.