Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Software Engineering and Formal Methods
پدید آورنده
\ [edited by] Carlos Canal, Akram Idani.
موضوع
Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگرهها,روشهای صوری (کامپیوتر) -- کنگره ها
رده
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
Library of Foreign Languages and Islamic Sources
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
37839111
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319152004
NATIONAL BIBLIOGRAPHY NUMBER
Number
12546
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
: seem 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers
First Statement of Responsibility
\ [edited by] Carlos Canal, Akram Idani.
.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
xxvii,405 p.
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 8938
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.
نرمافزار -- مهندسی-- کنگرهها
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
758
Book number
.
S62
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Canal, Carlos
Idani, Akram
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20160929142210.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319152004.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1504/2014960220-d.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1508/2014960220-t.html
BL
279177
1
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal