롯트

MODAL LOGIC 용 Tableau 정리 프로판
지금 다운로드

롯트 순위 및 요약

광고

  • Rating:
  • 특허:
  • Freeware
  • 게시자 이름:
  • Bilal Said
  • 게시자 웹사이트:
  • http://www.irit.fr/
  • 운영체제:
  • Mac OS X
  • 파일 크기:
  • 1 KB

롯트 태그


롯트 설명

Lotrec는 사용하기 쉽고 편리한 응용 프로그램을 사용하여 모달 로직을위한 일반적인 Tableau 정리 검사로 사용할 수 있습니다. 새로운 Tableau 메소드 구현을 분석, 테스트 및 생성하는 데 사용할 수 있습니다. Lotrec는 Java 프로그래밍 언어로 작성되며 Mac OS X, Windows 및 Linux에서 실행할 수 있습니다.


롯트 관련 소프트웨어

Dhex.

한 번에 두 개의 파일 편집 / 비교를 위해 DIFF가있는 터미널 기반 HEX 편집기 ...

75 57 KB

다운로드

회사 소개