عنوان
پدید آورنده
موضوع
رده
QA75 .5 .F61 2015 E-Book ,
QA75
.
5
.
F61
2015
E-Book
,
کتابخانه
محل استقرار
:9783319254227
13567
انگلیسی
Formal Methods and Software Engineering
[electronic resources]
: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
\ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
Cham
: Springer
, 2015
XXV, 436 p.
:ill.
Lecture notes in computer science
; 9407
Bibliography
Index
Computer science.
Computer networks.
Computer programming.
علوم کامپیوتر
شبکههای رایانه ای
برنامهنویسی
QA75
.
5
.
F61
2015
E-Book
,
ایران
20170216
9783319254227.pdf
p
BL
279177
1
a
N
