Logic-Based Program Synthesis and Transformation

שמור ב:

מידע ביבליוגרפי
Những tác giả chính:	Hermenegildo, Manuel V, Lopez-Garcia, Pedro
פורמט:	ספר
שפה:	English
יצא לאור:	Springer International Publishing 2020
נושאים:	Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
גישה מקוונת:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83434
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

היה/י הראשונ/ה לכתוב הערה!

פריטים דומים