عنوان
پدید آورنده
موضوع
رده
QA 76 .I58 H32 2015 E-Book ,
QA
76
.
I58
H32
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319262864
NATIONAL BIBLIOGRAPHY NUMBER
Number
13769
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Hardware and software
General Material Designation
[electronic resources]
Other Title Information
: 11th International Haifa Verification Conference, HVC 2015 Haifa, Israel, November 17–19, 2015 Proceedings
First Statement of Responsibility
\ Nir Piterman (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PROJECTED PUBLICATION DATE
Date
1512
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 293 p.)
Other Physical Details
:illustrations
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9434
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science
Entry Element
Computer networks
Entry Element
Software engineering
Entry Element
کامپیوتر
Entry Element
شبکههای کامپیوتری
Entry Element
نرمافزار
Topical Subdivision
-- مهندسی
a04
a06
a03
a04
a06
a03
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
Book number
.
I58
H32
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Piterman, Nir, editor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Haifa Verification Conference (11th : 2015 : Haifa, Israel)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170216110613.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319262864.pdf
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015953248-d.html
BL
279177
1
Y
نرمافزار -- مهندسی
Software engineering
