Loading...
Search for:
data-oriented
0.048 seconds
Total 1 records
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | پایان نامه | بررسی صحت برنامه ها با رویکردی داده گرا Data-Oriented Verification of Programs | وکیلی، امیر حسین Vakili, Amir Hossein | صنعتی شریف | 1388 | مهندسی به کمک کامپیوتر Computer Aided Engineering / معناشناسی Semantics / وارس برنامه (کامپیوتر) PROGRAM VERIFICATION (COMPUTER) / روش اصول موضوعی هوآر Hoare Axiomatic Method / داده گرا Data-Oriented |
02-39374
|