عنوان
پدید آورنده
موضوع
رده
QA76.5 .L523 1989
QA76
.
5
.
L523
1989
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
038751080X (U.S. : alk. paper)
(Number (ISBN
354051080X
(Number (ISBN
9780387510804 (U.S. : alk. paper)
(Number (ISBN
9783540510802
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
dnb
Number
b433656
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Linear time, branching time, and partial order in logics and models for concurrency :
General Material Designation
[Book]
Other Title Information
School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /
First Statement of Responsibility
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
.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
viii, 713 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
354
GENERAL NOTES
Text of Note
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
Linear time, branching time, and partial order in logics and models for concurrency.
TOPICAL NAME USED AS SUBJECT
Electronic data processing-- Distributed processing.
Parallel processing (Electronic computers)
DEWEY DECIMAL CLASSIFICATION
Number
004/
.
35
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
5
Book number
.
L523
1989
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bakker, J. W. de, (Jacobus Willem),1939-
Roever, W.-P. de,1943-
Rozenberg, Grzegorz.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency(1988 :, Noordwijkerhout, Netherlands)
ORIGINATING SOURCE
Date of Transaction
20120212081254.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
