عنوان
پدید آورنده
موضوع
رده
QA 76.76 .F6 2015 E-Book ,
QA
76
.
76
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319189406
13504
انگلیسی
Formal methods for multicore programming
[electronic resources]
: 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
\ Marco Bernardo , Einar Broch Johnsen (Eds.)
Cham
: Springer
, 2015
vii, 211 p
:ill
Lecture Notes in Computer Science
; 9104
Index
Bibliography
Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
Software engineering.
نرمافزار -- تولید -- کنگره ها
روشهای صوری (کامپیوتر) -- کنگره ها
QA
76
.
76
.
F6
2015
E-Book
,
Bernardo, Marco
Johnsen, Einar Broch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)
ایران
9783319189406.pdf
p
BL
279177
1
a
N
