Menu
Home
Advanced Search
Directory of Libraries
عنوان
Static analysis
پدید آورنده
Francesco Logozzo, Manuel Fähndrich (eds.)
موضوع
Computer programming, Congresses,Software engineering, Congresses
رده
QA76
.
6
.
I58
2013
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642388566 (electronic bk.)
(Number (ISBN
9783642388569 (electronic bk.)
Erroneous ISBN
3642388558 (Print)
Erroneous ISBN
9783642388552 (Print)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435058
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Static analysis
General Material Designation
[Book]
Other Title Information
20th international symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
First Statement of Responsibility
Francesco Logozzo, Manuel Fähndrich (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
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7935
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SAS 2013
Parallel Title
SAS 2013
TOPICAL NAME USED AS SUBJECT
Computer programming, Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Class number
QA76
.
6
Book number
.
I58
2013
Book number
.
I58
2013
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fähndrich, Manuel
Logozzo, Francesco
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Static Analysis Symposium(20th :2013 :, Seattle, Wash.)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130909123402.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal