عنوان
پدید آورنده
موضوع
رده
QA 76.76 .F6 2015 E-Book ,
QA
76
.
76
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319189406
NATIONAL BIBLIOGRAPHY NUMBER
Number
13504
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for multicore programming
General Material Designation
[electronic resources]
Other Title Information
: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures
First Statement of Responsibility
\ Marco Bernardo , Einar Broch Johnsen (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
vii, 211 p
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9104
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
Software engineering.
نرمافزار -- تولید -- کنگره ها
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
F6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bernardo, Marco
Johnsen, Einar Broch
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319189406.pdf
p
BL
279177
1
a
N
