عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
Foundations of algebraic specification and formal software development
پدید آورنده
/ D. (Donald) Sannella
موضوع
Computer science--Mathematics.,Software engineering.,Computer software--Development.
رده
QA76
.
9
.
M35
S26
2012
کتابخانه
محل استقرار
استان:
هرمزکان
ـ شهر:
کیش
تماس با کتابخانه :
44430055
-
076
978-3-642-17335-6
1419720
انگلیسی
IR
Foundations of algebraic specification and formal software development
[electronic resources]
/ D. (Donald) Sannella
Heidelberg
: Springer
, 2012
xvi, 581 p. : ill. ; 24 cm..
Computer science--Mathematics.
Software engineering.
Computer software--Development.
QA76
.
9
.
M35
S26
2012
Author
(Donald) Sannella, D.
ایران
University of Tehran. Kish International Campus
20230302
1141
UT_EN2_BL_DB_0001141_0001.pdf
2.80 MB
Previous cataloging
BL
278840
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح