Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Compositional verification of concurrent and real-time systems
پدید آورنده
/ by Eric Y.T. Juan, Jeffrey J.P. Tsai
موضوع
Real-time data processing,Computer systems -- Verification
رده
QA
76
.
58
.
J83
2002
کتابخانه
Library of Campus2 Colleges of Engineering of Tehran University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88225387
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1-40207025-x
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
45525
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Compositional verification of concurrent and real-time systems
General Material Designation
[Book]
First Statement of Responsibility
/ by Eric Y.T. Juan, Jeffrey J.P. Tsai
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
: Kluwer Academic Publishers
Date of Publication, Distribution, etc.
, c2002
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 196 p.
Other Physical Details
:ill.
Dimensions
; 25 cm
SERIES
Series Title
The Kluwer international series in engineering and computer science
Volume Designation
;
GENERAL NOTES
Text of Note
English
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. [187]-193) and index
TOPICAL NAME USED AS SUBJECT
Real-time data processing
Computer systems -- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
58
Book number
.
J83
2002
PERSONAL NAME - PRIMARY RESPONSIBILITY
Juan, Eric Y. T, author
PERSONAL NAME - SECONDARY RESPONSIBILITY
Tsai, Jeffrey J.P., author
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal