Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings (Record no. 6066)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00614nam a2200169Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540281959 |
| Terms of availability | pbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004 |
| Item number | GOD |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Godefroid, Patrick |
| 245 #0 - TITLE STATEMENT | |
| Title | Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Berlin: |
| Name of publisher, distributor, etc | Springer, |
| Date of publication, distribution, etc | 2005 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xi, 287 p.; |
| Other physical details | ill.: |
| Dimensions | 23 cm. |
| 365 ## - TRADE PRICE | |
| Price type code | INR |
| Price amount | 2785.50/ EURO 45.00 |
| 490 ## - SERIES STATEMENT | |
| Series statement | Lecture notes in computer science |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| Topical term or geographic name as entry element | Computer simulation |
| Topical term or geographic name as entry element | CFSM Languages |
| Topical term or geographic name as entry element | GNU Debugger |
| Topical term or geographic name as entry element | Data processing |
| Topical term or geographic name as entry element | Engineering & Applied Sciences |
| Topical term or geographic name as entry element | Model-checking |
| Topical term or geographic name as entry element | Software Development & Engineering |
| Topical term or geographic name as entry element | Logiciels |
| Topical term or geographic name as entry element | Quality Assurance & Testing |
| Topical term or geographic name as entry element | Probabilistic Verification |
| Topical term or geographic name as entry element | Informatique |
| Topical term or geographic name as entry element | SPIN |
| Topical term or geographic name as entry element | Computer file |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | DAU | DAU | 04/07/2006 | Book India; Invoice No# 3224; 2006-07-04 | 2785.50 | 004 GOD | 014288 | Books |