Ntccrt는 비결정적 시간 제한 동시 제약 조건(ntcc) 미적분및 확률 확장(pntcc)에 대한 인터프리터입니다. 그것은 독립 실행형 프로그램으로 모델을 실행할 수 있습니다.
버전 기록
- 버전 files 에 게시 2011-04-06
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-04-06
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: ntccrt.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows