|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
398703 |
| 005 |
20030319100600.0 |
| 008 |
930811s1993 gw a b 100 0 eng u |
| 020 |
|
|
|a 3540569227 (Berlin)
|
| 020 |
|
|
|a 0387569227 (New York)
|
| 035 |
|
|
|a (upgd41)zbn93090836
|
| 035 |
|
|
|a (nzNZBN)8039453
|
| 035 |
|
|
|a (OCoLC)28463661
|
| 040 |
|
|
|a CUPS
|c CUPS
|
| 050 |
0 |
0 |
|a QA76.76.E93
|
| 090 |
|
|
|a QA 76.76 .E93 .C0376 1993
|
| 097 |
|
|
|3 Bib#:
|a 398703
|
| 111 |
2 |
|
|a CAV (Conference)
|n (5th :
|d 1993 :
|c Elounda, Greece)
|
| 245 |
1 |
0 |
|a Computer aided verification :
|b 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 :
|b proceedings /
|c Costas Courcoubetis (ed.).
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1993.
|
| 300 |
|
|
|a ix, 504 p. :
|b ill ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 697
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Computer software
|x Verification
|v Congresses.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Evaluation
|v Congresses.
|
| 700 |
1 |
|
|a Courcoubetis, Costas.
|
| 991 |
|
|
|a 1995-09-13
|
| 992 |
|
|
|a Created by , 13/09/1995. Updated by mamc, 19/03/2003.
|
| 999 |
f |
f |
|i 111c8ddf-82ba-5a6d-b053-34901b6920f0
|s 2a3649b5-c580-5444-a1df-b315dfad8e4f
|t 0
|
| 952 |
f |
f |
|p For loan
|a University Of Canterbury
|b Storage
|c Law Basement
|d Library Storage, Request for Retrieval
|t 0
|e QA 76.76 .E93 .C0376 1993
|h Library of Congress classification
|i Book
|m AU06431070B
|
