MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02065cam a2200397Ma 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
4245568 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20170217163045.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
011024s1999 maua ob 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0585385580 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780585385587 |
| Qualifying information |
(electronic bk.) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
IISER Bhopal |
| Transcribing agency |
( Recommended by Dr. Arpit Sharma) |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.21 C55M |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Clarke, E. M., |
| Dates associated with a name |
1945- |
| 9 (RLIN) |
19622 |
| 222 ## - KEY TITLE |
|---|
| Key title |
EECS |
| 222 ## - KEY TITLE |
|---|
| Key title |
Computer Systems |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model checking |
| Statement of responsibility, etc |
Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cambridge, Mass. : |
| Name of publisher, distributor, etc |
MIT Press, |
| Date of publication, distribution, etc |
©1999. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiv, 314 pages) : |
| Other physical details |
illustrations |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 297-307) and index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Modeling systems -- |
| -- |
Trmporal logics -- |
| -- |
Model checking -- |
| -- |
Binary decision diagram -- |
| -- |
Symbolic model checking -- |
| -- |
Model checking for the u-calculus -- |
| -- |
Model checking in practice -- |
| -- |
Model checking and automata theory -- |
| -- |
Partial order reduction -- |
| -- |
Equivalences and preorders between structures -- |
| -- |
Compositional reasoning -- |
| -- |
Abstraction -- |
| -- |
Symmetry -- |
| -- |
Infinite families of finite-state systems -- |
| -- |
Discrete real-time and quantitative temporal analysis -- |
| -- |
Continuous real time. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification. |
| 9 (RLIN) |
19623 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Software Development & Engineering |
| -- |
Systems Analysis & Design. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
19624 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification. |
| Source of heading or term |
fast |
| 9 (RLIN) |
19623 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computersystemen. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
19625 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Modellen (theorie) |
| Source of heading or term |
gtt |
| 9 (RLIN) |
19626 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Verificatie. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
19627 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
19628 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Grumberg, Orna. |
| 9 (RLIN) |
19629 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Peled, Doron A., |
| Dates associated with a name |
1962- |
| 9 (RLIN) |
19630 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Print version: |
| Main entry heading |
Clarke, E.M., 1945- |
| Title |
Model checking. |
| Place, publisher, and date of publication |
Cambridge, Mass. : MIT Press, ©1999 |
| International Standard Book Number |
0262032708 |
| Record control number |
(DLC) 99017979 |
| -- |
(OCoLC)40675218 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.columbia.edu/cgi-bin/cul/resolve?clio4245568">http://www.columbia.edu/cgi-bin/cul/resolve?clio4245568</a> |
| Public note |
All EBSCO eBooks |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
