| 000 -LEADER |
|---|
| fixed length control field |
01569nam a2200241 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls002199960 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MY-SjTCS |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200306153811.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110218s2001 gw a 001 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540415238 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201909201114 |
| Level of effort used to assign nonsubject heading access points |
ummi |
| Level of effort used to assign subject headings |
201102181757 |
| Level of effort used to assign classification |
VLOAD |
| -- |
200407271928 |
| -- |
VLOAD |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.14 |
| Item number |
SYS |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Systems and software verification : |
| Remainder of title |
model-checking techniques and tools / |
| Statement of responsibility, etc. |
B. Berard ... [et al.]. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
c2001 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 190 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Updated version of the French language edition : "Verification de logicals. Techniques et outils du model-checking", coordonne par Philippe Schnoebelen - Verso of t.p. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
With 67 figures |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Pt. I. Principles and Techniques. - Introduction. 1. Automata. 2. Temporal Logic. 3. Model Checking. 4. Symbolic Model Checking. 5. Timed Automata. - Pt. II. Specifying With Temporal Logic. - Introduction. 6. Reachability Properties. 7. Safety Properties. 8. Liveness Properties. 9. Deadlock-freeness. 10. Fairness Properties. 11. Abstraction Methods. - Pt. III. Some Tools. 12. SMV - Symbolic Model Checking. 13. Spin - Communicating Automata. 14. Design/CPN - Coloured Petri Nets. 15. Uppaal - Timed Systems. 16. Kronos - Model Checking of Real-time Systems. 17. Hytech - Linear Hybrid Systems. - Main Bibliography. - Index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| General subdivision |
Verification. |
| 9 (RLIN) |
202835 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer systems |
| General subdivision |
Verification. |
| 9 (RLIN) |
202836 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Berard, Beatrice. |
| 9 (RLIN) |
202837 |
| 920 ## - Programme |
|---|
| Programme |
CIT(DIP) : 540081 |
| 999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
|---|
| Koha biblionumber |
21942 |
| Koha biblioitemnumber |
21942 |
