عنوان
پدید آورنده
موضوع
رده
QA 76.9 .S765 2015 E-Book ,
QA
76
.
9
.
S765
2015
E-Book
,
کتابخانه
محل استقرار
:9783319174037
11791
انگلیسی
Structured object-oriented formal language and method
[electronic resources]
: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers
\ Shaoying Liu, Zhenhua Duan (eds.)
Cham
: Springer
, 2015
viii,[189] p.
Lecture Notes in Computer Science
; 8979
Index
Bibliography
Formal methods (Computer science) -- Congresses
Object-oriented methods (Computer science) -- Congresses.
Logics and Meanings of Programs
روشهای صوری (کامپیوتر) -- کنگره ها
شیگرایی (کامپیوتر) -- کنگره ها
QA
76
.
9
.
S765
2015
E-Book
,
Liu, Shaoying, 1960-
Duan, Zhenhua
ایران
20160602
9783319174037.pdf
p
BL
279177
1
a
Y
