Analyzer Component Framework 0.1
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
에 대해 Analyzer Component Framework
ACF는 모델 체커 작성. ACF는 대부분의 구조가 근본적인 관찰을 기반으로 합니다. 모델 검사 알고리즘은 설명하는 데 사용되는 형식주의와 무관합니다. 시스템.
관련 프로그램
-
LEP 무료
Literate Eclipse 프로그래밍은 개발자가 구조화되고 잘 문서화된 소스 코드를 작성하는 데 도움을 주었습니다. LEP는 소스 코드 및 문서의 자동 추출을 익숙한 일식 환경에 통합합니다. 컴파일 및 디버깅이 완전히 지원됩니다.
-
BakerBots 무료
제2생명, 오픈심 등에서 아바타로 봇을 운영하기 위한 인턴개발 애플리케이션인 베이커 칼리지입니다. 그것은 목표 처리에 대 한 프로그램 #에 의존 하 고 SL 브라우저 기능에 대 한 libOpenMetaverse.
-
Survival Medicine Guide 무료 평가판
"무료 어도비 리더필요"********이것은 우리 모두가 두려워하는 일이 실제로 일어나는 경우에 생존 의학 가이드입니다. 이것은 어떤 좋은 생존 매뉴얼에 큰 칭찬이다. 이 정보는 필요할 때 사용할 수 없습니다. 지금 그것을 얻고 준비하십시오. 이 생존 의료 가이드는 있어야합니다!이 책은 200 페이지 이상이며 설치한 후 로드하는 데 1 분이 걸립니다.이 책은 PDF 형식으로 무료 어
-
Universal Maths Conversion Library 무료
UMCL 라이브러리는 다른 수학 형식과 특히 점자 특정 표기표 간에 변환이 필요한 응용 프로그램 개발자에게 단일 API를 제공합니다.
-
Bhagavad Gita(YaBG) 무료
YaBG - 또 다른 & 쿼타 가바드 Gita & quot; 응용 프로그램. 이 응용 프로그램은 중단없이 전체 bhagavad gita를 통해 읽을 수 있습니다; 아니 광고, 아니 고통스러운 팝업; 완전히 자유롭고 방해가 되지 않습니다. 나는 읽을 수 있도록이 응용 프로그램을 만들었습니다 "bhagavad gita & 내 안드로이드 폰을 사용하여; 현대 UI로 읽기 쉽고
-
PONS German PREMIUM 무료 평가판
외국어 프리미엄으로 PONS 사전 독일어는 77,000 키워드, 문구 및 구조와 125,000 개 이상의 정의와 예입니다 PONS에 의해 가장 포괄적 인 표준 참조 도구. 독일어를 배우고 적절한 사전이 필요하십니까? 당신은 기술, 스포츠 또는 의학과 같은 다른 주제 분야의 어휘를 처리합니까? 표현식과 맞춤법에 대한 질문이 있으십니까? 어휘를 늘리고 싶으신가요? 외국어 프리미엄 Ãââ"로 PONS 사전
-
jQuantum 무료
jQuantum은 양자 컴퓨터를 시뮬레이션하고, 양자 회로를 설계하고, 양자 알고리즘의 실행을 시각화하는 Java 프로그램입니다. 또 다른 주요 목적은, 그러나, 당신의 머리에 이미지를 만드는 것입니다, 따라서- 이해.
-
FlameBitmaps 무료
3D 회전 바디의 2D-회색 스케일 비트맵 계산을 계산하면 다양한 이미지 처리 알고리즘을 사용하여 감지된 영역을 형성합니다. 독일 항공 우주 센터 (DLR)를 위해 개발되었습니다. 중고 프로젝트: 물질(GUI)
-
fropho 무료
프로포는 팔린스키-리-카와조 방법을 기반으로 하는 크리스탈의 포논 특성을 계산합니다. 원자가 변위될 때 원자에 작용하는 힘의 정보는 입력 정보로 요구됩니다. 프로포는 phonopy.sourceforge.net 대체 될 것입니다.
-
FSMPP - Finite State Machines in C++ 무료
FSMPP는 C++로 유한 상태 기계를 구축하기 위한 간단하고 라이트적이며 직관적인 프레임워크를 제공하는 라이브러리입니다.