|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
040 -CATALOGING SOURCE
|
|
a
Original cataloging agency
NEU GrandLibrary
|
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
|
a
Classification number
Q 295
|
|
b
Item number
V47 2006
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Verification of infinite-state systems with applications to security /
|
|
c
Statement of responsibility, etc
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
|
|
h
Medium
BOOK
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
Amsterdam ;
|
|
a
Place of publication, distribution, etc
Washington, D.C. :
|
|
b
Name of publisher, distributor, etc
IOS Press,
|
|
c
Date of publication, distribution, etc
c2006.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
vii, 235 p. :
|
|
b
Other physical details
ill. ;
|
|
c
Dimensions
25 cm.
|
|
|
440 -SERIES STATEMENT/ADDED ENTRY--TITLE
|
|
a
Title
NATO security through science series.
|
|
n
Number of part/section of a work
D :
|
|
v
Volume number/sequential designation
vol. 1
|
|
|
500 -GENERAL NOTE
|
|
|
|
504 -BIBLIOGRAPHY, ETC. NOTE
|
|
a
Bibliography, etc
Includes bibliographical references and author index.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
System theory
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
System theory
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer security
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer software
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Clarke Edmund
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Minea Marius
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Tiplea, Ferucio Laurentiu.
|
|
