Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Software Engineering and Formal Methods
پدید آورنده
\ Radu Calinescu , Bernhard Rumpe (Eds.)
موضوع
Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرمافزار -- مهندسی-- کنگرهها
رده
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
Library of Foreign Languages and Islamic Sources
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
37839111
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319229683
NATIONAL BIBLIOGRAPHY NUMBER
Number
12669
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Software Engineering and Formal Methods
General Material Designation
[electronic resources]
Other Title Information
: 13th International Conference, SEFM 2015 York, UK, September 7–11, 2015 Proceedings
First Statement of Responsibility
\ Radu Calinescu , Bernhard Rumpe (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi,[369] p.
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9276
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Software engineering
Mathematical Logic and Formal Languages.
Software engineering -- Congresses.
مهندسی نرم افزار
نرمافزار -- مهندسی-- کنگرهها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
758
Book number
.
S62
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Calinescu, Radu C., 1968-
Rumpe, Bernhard
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Software Engineering and Formal Methods (13th : 2015 : York, England)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20191019
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319229683.pdf
p
BL
279177
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal