Verification of Object-Oriented Software. The KeY Approach

שמור ב:

מידע ביבליוגרפי
Những tác giả chính:	Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.
פורמט:	ספר
שפה:	English
יצא לאור:	Springer Berlin Heidelberg 2020
נושאים:	Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages
גישה מקוונת:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81666
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

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

פריטים דומים