عنوان
پدید آورنده
موضوع
رده
QA76.9.C65 F67 2011
QA76
.
9
.
C65
F67
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
364224310X (electronic bk.)
(Number (ISBN
9783642243103 (electronic bk.)
Erroneous ISBN
9783642243097
NATIONAL BIBLIOGRAPHY NUMBER
Number
b512695
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal modeling and analysis of timed systems :
General Material Designation
[Book]
Other Title Information
9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
First Statement of Responsibility
Uli Fahrenberg, Stavros Tripakis (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2011]
Date of Publication, Distribution, etc.
©2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 351 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6919
ISSN of Series
0302-9743 ;
GENERAL NOTES
Text of Note
International conference proceedings
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FORMATS 2011
TOPICAL NAME USED AS SUBJECT
Computer simulation, Congresses.
Formal methods (Computer science), Congresses.
Temporal automata, Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
003/
.
3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
C65
Book number
F67
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fahrenberg, Uli.
Tripakis, Stavros.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FORMATS 2011(2011 :, Aalborg, Denmark)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20120425035513.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
