عنوان
پدید آورنده
موضوع
رده
QA 76.758 .S62 2015 E-Book ,
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783662492239
NATIONAL BIBLIOGRAPHY NUMBER
Number
13636
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
: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART York, UK, September 7–8, 2015 Revised Selected Papers
First Statement of Responsibility
\ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxix, [324] p
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9509
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
Formal methods (Computer science)
نرمافزار -- مهندسی-- کنگرهها
روشهای صوری (کامپیوتر) -- کنگره ها
(روشهای صوری (کامپیوتر
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
758
Book number
.
S62
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bianculli, Domenico
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
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783662492239.pdf
p
BL
279177
1
a
Y
