عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1032
QA
76
.
L28
Vol
.
1032
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
First Statement of Responsibility
Patrice Godefroid
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]143[p. : ill. , tables
SERIES
Other Title Information
Lecture notes in computer science; 2301
GENERAL NOTES
Text of Note
Bibliography: p. ]133[-142
Text of Note
ISBN 3540660767
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Parallel processing )Electronic computers(
Entry Element
، Computer software -- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
1032
OTHER CLASS NUMBERS
Class number
CA
Class number
005
.
2
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Godefroid, Patrice
Relator Code
AU
TI
SE
