• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Verification, Model Checking, and Abstract Interpretation

پدید آورنده
\ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)

موضوع
Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

رده
QA
76
.
76
.
V47
2015
E-Book
,

کتابخانه
Library of Foreign Languages and Islamic Sources

محل استقرار
استان: Qom ـ شهر: Qom

Library of Foreign Languages and Islamic Sources

تماس با کتابخانه : 37839111

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
:9783662460801

NATIONAL BIBLIOGRAPHY NUMBER

Number
12525

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
انگلیسی

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Verification, Model Checking, and Abstract Interpretation
General Material Designation
[electronic resources]
Other Title Information
: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
First Statement of Responsibility
\ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015.

PROJECTED PUBLICATION DATE

Date
1502

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xviii,[467] p.

SERIES

Series Title
Lecture notes in computer science
Volume Designation
; 8931

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Index
Text of Note
Bibliography

TOPICAL NAME USED AS SUBJECT

Computer software -- Verification -- Congresses.
Software engineering -- Congresses.
Logics and Meanings of Programs.
نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
نرم‌افزار -- مهندسی-- کنگره‌ها

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
76
Book number
.
V47
2015
E-Book
,

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

D'Souza, Deepak
Lal, Akash
Larsen, Kim Guldstrand

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

VMCAI (Conference) (16th : 2015 : Mumbai, India)

ORIGINATING SOURCE

Country
ایران
Date of Transaction
20160929101047.0
Cataloguing Rules (Descriptive Conventions))
rda

ELECTRONIC LOCATION AND ACCESS

Date and Hour of Consultation and Access
9783662460801.pdf

BL
279177
1

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival