عنوان
پدید آورنده
موضوع
رده
QA76.9.C65 F67 2009eb
QA76
.
9
.
C65
F67
2009eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642043682
(Number (ISBN
9783642043680
Erroneous ISBN
3642043674
Erroneous ISBN
9783642043673
NATIONAL BIBLIOGRAPHY NUMBER
Number
b512906
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal modeling and analysis of timed systems :
General Material Designation
[Book]
Other Title Information
7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
First Statement of Responsibility
Joël Ouaknine, Frits W. Vaandrager (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2009]
Date of Publication, Distribution, etc.
©2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 290 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
5813
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal Modeling and Analysis of Timed Systems.
International Standard Book Number
9783642043673
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FORMATS 2009
TOPICAL NAME USED AS SUBJECT
Computer simulation, Congresses.
Formal methods (Computer science), Congresses.
Temporal automata, Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
0151
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
C65
Book number
F67
2009eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Ouaknine, Joël.
Vaandrager, Frits.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FORMATS 2009(2009 :, Budapest, Hungary)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20110104125254.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
