عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 A88 2012eb
QA76
.
9
.
A96
A88
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642333869 (electronic bk.)
(Number (ISBN
9783642333866 (electronic bk.)
Erroneous ISBN
9783642333859
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434824
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated technology for verification and analysis
General Material Designation
[Book]
Other Title Information
10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
First Statement of Responsibility
Supratik Chakraborty, Madhavan Mukund (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
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7561
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
ATVA 2012
TOPICAL NAME USED AS SUBJECT
Artificial intelligence, Congresses
Automatic theorem proving, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3/6028563
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Class number
QA76
.
9
.
A96
Book number
A88
2012eb
Book number
A88
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Chakraborty, Supratik
Mukund, Madhavan
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ATVA (Symposium)(10th :2012 :, Trivandrum, India)
ORIGINATING SOURCE
Date of Transaction
20130304114550.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
