Verification of systems and circuits using LOTOS, Petri Nets, and CCS (Record no. 101075)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01634nam a2200409 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ebr10296542 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | CaPaEBR |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260707180014.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m u |
| 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 sb 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| Canceled/invalid LC control number | 2007033487 |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | GBA806238 |
| Source | bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
| Canceled or invalid record control number | 014493167 |
| Source | Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9780471704492 (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 0471704490 (cloth) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | CaPaEBR |
| Transcribing agency | CaPaEBR |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)647764451 |
| 050 14 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7874.58 |
| Item number | .Y64 2008eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.3815/48 |
| Edition number | 22 |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC) | |
| -- | 101075 |
| -- | 80952 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Yoeli, Michael, |
| Dates associated with a name | 1917- |
| 9 (RLIN) | 141075 |
| 245 10 - TITLE STATEMENT | |
| Title | Verification of systems and circuits using LOTOS, Petri Nets, and CCS |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | by Michael Yoeli and Rakefet Kol. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Hoboken, N.J. : |
| Name of publisher, distributor, etc | Wiley-Interscience, |
| Date of publication, distribution, etc | c2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv, 231 p. : |
| Other physical details | ill. ; |
| Dimensions | 25 cm. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Wiley series on parallel and distributed computing |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 533 ## - REPRODUCTION NOTE | |
| Type of reproduction | Electronic reproduction. |
| Place of reproduction | Palo Alto, Calif. : |
| Agency responsible for reproduction | ebrary, |
| Date of reproduction | 2009. |
| Note about reproduction | Available via World Wide Web. |
| -- | Access may be limited to ebrary affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Integrated circuits |
| General subdivision | Verification. |
| 9 (RLIN) | 100170 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Verification. |
| 9 (RLIN) | 141076 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | LOTOS (Computer program language) |
| 9 (RLIN) | 141077 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Petri nets. |
| 9 (RLIN) | 141078 |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| Source of term | local |
| 9 (RLIN) | 190 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kol, Rakefet. |
| 9 (RLIN) | 141079 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | ebrary, Inc. |
| 9 (RLIN) | 191 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://site.ebrary.com/lib/strathmore/Doc?id=10296542">http://site.ebrary.com/lib/strathmore/Doc?id=10296542</a> |
| Public note | An electronic book accessible through the World Wide Web; click to view |
No items available.