Dafny 1.9.5

Bấm vào liên kết dưới đây để tải về phần mềm

Phiên bản 1.9.5 đã cũ. Phần mềm Dafny đã có phiên bản mới 3.8.1 tìm và tải về tại đây >> Dafny

Đặc tính mới cập nhật trong phiên bản 1.9.5
CÁC PHIÊN BẢN
Bạn đang xem phiên bản 1.9.5 (bản chuẩn) của phần mềm Dafny được cập nhật vào 19/05/2015

Thông tin về Dafny

Mô tả: Ngôn ngữ lập trình Dafny

Phần mềm do Rustan Leino phát hành, có dung lượng 3.3 MB , có 1384 lượt download

Các hệ điều hành được hỗ trợ: Windows All

Phiên bản hiện tại: 1.9.5

Các chức năng của Dafny
 Phiên bản 1.9.5 của phần mềm Dafny được chúng tôi cập nhật để cho bạn dễ dàng download, việc download và cài đặt là quyết định của bạn. Chúng tôi không chịu trách nhiệm về những phát sinh (nếu có) trong quá trình cài đặt và sử dụng do phần mềm này gây ra, bạn có thể chi tiết nội dung tại mục "Điều khoản".


Phần mềm tương tự Dafny