عنوان
پدید آورنده
موضوع
رده
QA76.9.C65 F67 2012eb
QA76
.
9
.
C65
F67
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642333656 (electronic bk.)
(Number (ISBN
9783642333651 (electronic bk.)
Erroneous ISBN
3642333648
Erroneous ISBN
9783642333644
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434820
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal modeling and analysis of timed systems
General Material Designation
[Book]
Other Title Information
10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
First Statement of Responsibility
Marcin Jurdziński, Dejan Ničković (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 266 p.) :
Other Physical Details
ill. (chiefly col.)
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7595
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.
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FORMATS 2012
TOPICAL NAME USED AS SUBJECT
Computer simulation, Congresses
Formal methods (Computer science), Congresses
System analysis, Congresses
Temporal automata, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
003/
.
3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
C65
Class number
QA76
.
9
.
C65
Book number
F67
2012eb
Book number
F67
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jurdziński, Marcin
Ničković, Dejan
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FORMATS (Conference)(10th :2012 :, London, England)
ORIGINATING SOURCE
Date of Transaction
20130304114537.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
