DocumentCode :
27624
Title :
Dynamic UNITY
Author :
K. Mani Chandy استاد راهنما , Jason Hickey استاد مشاور , Alain Martin استاد مشاور
University :
Caltech Library System
Grade :
نامعلوم
Major :
PhD )Computer Science(
Number of pages :
0
Publish Date :
2001
Keyword :
Unity , program specification , formal methods , distributed computing , transition systems
Note :
01
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=27624
