MCMAS-C Model Checker

관련 프로그램

• MConvert - Multiformat Converter 무료

  MConvert는 파일을 변환하기위한 도구를 개발하기위한 오픈 소스 프로젝트입니다. MConvert는 다른 오픈 소스 도구를 사용하여 파일 형식을 변환하기 위한 다양한 possibilites를 제공하고자 합니다.

• WinCRC32 무료

  WINCRC32는 CRC-32 기술을 사용하여 각 파일을 확인하고 잠재적으로 나쁘거나 손상되었거나 잘못된 크기 또는 누락된 파일을 알려주어 1개의 파일이 누락되었거나 마지막 파일에 CRC 체크섬 오류가 있는 것을 발견하기 위해 다운로드 시간을 절약할 수 있습니다. CRC 값 비교는 표준 SFV 파일을 사용하여 수행됩니다. SFV 파일을 사용할 수 없는 경우 계산된 CRC 값을 가진 새 파일을 생성할

• Web Pictures Downloader 무료 평가판

  웹 사진 다운로더는 웹이나 인터넷에서 사진, 사진, 이미지, JPG, GIF를 다운로드할 수 있는 인터넷 사진 다운로더입니다. 최대 8개의 스레드를 동시에 좋아하는 웹 사이트에 액세스할 수 있습니다. 그것은 웹 사이트의 구조를 분석, 사진과 사진 (JPG, GIF)을 찾아 하드 디스크에 다운로드, 나중에 자신의 편의에 사진을 볼 수 있도록. 그것은 사진을 다운로드 할 수있는 재미있는 작업을 만든다.

• A shoot'em up game for the Maemo 무료

  Maemo 플랫폼을 위한 아이소메트릭 슈팅 게임. 기본 아이디어는 플레이어 (또는 플레이어)가 서로 또는 컴퓨터 제어 적을 상대로 자신의 캐릭터와 배트를 생성 할 수있는 게임을 생성하는 것입니다.

• SudokuGenerator in c++ and stl 무료

  어려움의 주어진 수준으로 스도쿠 퍼즐을 생성하는 스도쿠 퍼즐 생성기. 생성 된 퍼즐은 독특한 솔루션을 가지고 있으며 역추적이나 추측없이 해결할 수 있습니다. 이 소프트웨어는 윈도우 플랫폼에 대한 stl을 사용하여 c ++로 작성됩니다.

• Oxygen Basic 무료

  C 헤더를 읽고 x86 기계 코드로 컴파일되는 컴팩트한 임베드 형 JIT 컴파일러입니다. 메모리에서 직접 실행하거나 DLL 및 EXE 파일을 만듭니다. 오버로드 및 OOP를 지원합니다. 현재 MS 플랫폼에서 사용할 수 있습니다. 진행 중인 64비트

• Lua Conio 무료

  Lua Conio는 가브리엘 세치가 개발한 텍스트 사용자 인터페이스를 만드는 데 사용되는 터보 C 코니오의 래퍼입니다.

• Book Keeper System 무료

  스트럿스 + JSTL 및 JDBC를 사용하여 자바에서 작성된 간단한 라이브러리 관리 시스템. 고전적인 계층구조 아키텍처 접근 방식이 사용됩니다. 현재 DAOs는 mySql로 상자 밖으로 작동합니다.

• Counter Strike 1.6 File 무료

  tlchargez 데 fichiers en rapport avec le serveur [TFS21] 파이어 폭스 서버

• Multimodal Engine Platform 무료

  MME 시스템은 이기종 장치 간에 통신하고 다양한 유형의 양식으로 사용자와 응용 프로그램 간의 통신을 확립해야 하는 필요성으로 제시됩니다.