عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67 2016 E-Book ,
QA
76
.
9
.
F67
2016
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319289335
NATIONAL BIBLIOGRAPHY NUMBER
Number
12317
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Aspects of Component Software
General Material Designation
[electronic resources]
Other Title Information
: 12th International Conference, FACS 2015 Niterói, Brazil, October 14–16, 2015 Revised Selected Papers
First Statement of Responsibility
\ [Edited by] Christiano Braga, Peter Csaba Ölveczky
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2016.
PROJECTED PUBLICATION DATE
Date
1601
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 329 p.
Other Physical Details
:ill.
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9539
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار مولفهای -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F67
2016
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Braga, Christiano
Ölveczky, Peter Csaba
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FACS (Symposium) (12th : 2015 : Niterói, Brazil)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170104111423.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319289335.pdf
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015960400-d.html
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015960400-t.html
BL
279177
1
Y
