9783319073170
IR
EN-11286
انگلیسی
IR
Formal Methods for Executable Software Models
[Book]
/ hnle, Einar Broch Johnsen, Ina SchaeferعMarco Bernardo, Ferruccio Damiani, Reiner H
fa
Springer
, 2014.
Electronic
METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
E-BOOK
Marco Bernardo
ایران
Formal Methods for Executable Software Models
عادی
محرمانه
930943.pdf
متن
old catalog
e
BL
1
a
Y
