عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 T33 2012eb
QA76
.
9
.
S88
T33
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642287565 (electronic bk.)
(Number (ISBN
9783642287565 (electronic bk.)
Erroneous ISBN
3642287557
Erroneous ISBN
9783642287558
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434496
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tools and algorithms for the construction and analysis of systems
General Material Designation
[Book]
Other Title Information
18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012 : proceedings /
First Statement of Responsibility
Cormac Flanagan, Barbara König (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 (xix, 560 p.) :
Other Physical Details
ill. (some col.)
SERIES
Series Title
Advanced research in computing and software science
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7214.
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Tools and Algorithms for the Construction and Analysis of Systems.
International Standard Book Number
9783642287558
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
ETAPS 2012
Parallel Title
TACAS 2012
TOPICAL NAME USED AS SUBJECT
System analysis, Congresses
System design, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2/1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
S88
Class number
QA76
.
9
.
S88
Book number
T33
2012eb
Book number
T33
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Flanagan, Cormac
König, Barbara,Prof. Dr
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TACAS 2012(2012 :, Tallinn, Estonia)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ETAPS 2012(2012 :, Tallinn, Estonia)
ORIGINATING SOURCE
Date of Transaction
20120801103132.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
