عنوان
پدید آورنده
موضوع
رده
QA76.5 .Z87 1989
QA76
.
5
.
Z87
1989
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387508457 (U.S.)
(Number (ISBN
3540508457
(Number (ISBN
9780387508450 (U.S.)
(Number (ISBN
9783540508458
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Compositionality, concurrency, and partial correctness :
General Material Designation
[Book]
Other Title Information
proof theories for networks of processes and their relationship /
First Statement of Responsibility
J. Zwiers.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1989.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 272 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
321.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. 266-272.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
Compositionality, concurrency, and partial correctness.
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving.
Parallel processing (Electronic computers)
DEWEY DECIMAL CLASSIFICATION
Number
004/
.
35
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
5
Book number
.
Z87
1989
PERSONAL NAME - PRIMARY RESPONSIBILITY
Zwiers, J., (Job),1956-
ORIGINATING SOURCE
Date of Transaction
20140613193500.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
