عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 T33 2013
QA76
.
9
.
S88
T33
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642367429 (electronic bk.)
(Number (ISBN
9783642367427 (electronic bk.)
Erroneous ISBN
9783642367410
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434969
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tools and algorithms for the construction and analysis of systems
General Material Designation
[Book]
Other Title Information
19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
First Statement of Responsibility
Nir Piterman, Scott A. Smolka (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
SERIES
Series Title
Advanced reseawrch in computing and software science
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7795
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
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
ETAPS 2013
Parallel Title
TACAS 2013
TOPICAL NAME USED AS SUBJECT
Computer software-- Verification, Congresses
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
2013
Book number
T33
2013
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Piterman, Nir
Smolka, Scott A
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TACAS 2013(2013 :, Rome, Italy)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ETAPS (Conference)(16th :2013 :, Rome, Italy)
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130501105607.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
