Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

PiET là một công cụ xác minh cho mười tương đương hành vi cho Pi Calculus.

lịch sử phiên bản

  • Phiên bản Piet%201.0 đăng trên 2006-09-29
    Một số bản sửa lỗi và cập nhật
  • Phiên bản Piet 1.0 đăng trên 2006-09-29

Chi tiết chương trình

Các chương trình liên quan

  • The Figaro Miễn phí

    &Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) tự động quản lý các thí nghiệm với trình tạo đầu vào và plugin thuật toán. Nó đã chứa một số máy phát điện và thuật toán cho đồ thị

  • C++ Programming Reference FREE Dùng thử miễn phí

    Tham khảo lập trình ngôn ngữ C++ hoàn chỉnh từ thẻ tham chiếu nhanh, đến hướng dẫn đào tạo ngôn ngữ lập trìnhSử dụng các khả năng điện thoại di động mang lại cho bạn, cho phép nghiên cứu hoặc kiểm tra bất cứ điều gì bạn m

  • MEP Auswertung Miễn phí

    Chương trình này đã được viết có trong tâm trí để tạo ra một công cụ hữu ích để đánh giá các động cơ gợi lên tiềm năng (MEPs) được tạo ra bởi transcranial magnetic stimulation (TMS) và ghi lại với chương trình & Signal&am

  • gsvit Miễn phí

    Bộ giải FDTD nhanh với hỗ trợ card đồ họa. Tối ưu hóa cho quang học nanoscale - quét gần kính hiển vi quang học trường, tán xạ bề mặt thô và các tế bào năng lượng mặt trời. Sử dụng môi trường CUDA cho hoạt động card đồ họa.

  • Russian Vocabulary Miễn phí

    Đó là thời gian để chơi các bài kiểm tra từ vựng tiếng Nga! Vui vẻ, câu đố đố tương tác miễn phí từ Golden Quartz cung cấp cho bạn kiến thức on-the-go! Nga (Ã'â € Ã'âƒÃ'ÂÃ'Âúà̧ù Ã'Â÷ Ã'‹Ãº, russkiy yazyk, phát âm [Ã

  • Fiction Press Reader Miễn phí

    Bạn muốn tận hưởng FictionPress.com sử dụng hết dữ liệu của mình trong tháng? Đây là một độc giả ngoại tuyến cho Fiction Press sẽ cho phép bạn đọc những câu chuyện của bạn trên đường đi. Nó cũng cho phép bạn quản lý và dễ dàn

  • brickit Miễn phí

    Một kho lưu trữ dựa trên web của plasmid và biobricks (xem http://parts.mit.edu) cộng với các chương trình tiện ích liên quan hỗ trợ nghiên cứu sinh học tổng hợp.

  • Harrow Miễn phí

    Một thư viện Java, webservice và webclient để thu hoạch siêu dữ liệu. Nó hiện đang hỗ trợ thu hoạch từ OAI-PMH đến Fedora 2, nhưng có thể dễ dàng được mở rộng để hỗ trợ nhiều giao thức hơn.

  • MLPA Analyzer Miễn phí

    MLPA Analyzer là một quy trình làm việc và môi trường phân tích cho Multiplex Ligation phụ thuộc vào thăm dò khuếch đại

  • Physics Solving Toolkit Miễn phí

    Phyz là một chương trình giáo dục cho thấy các lý thuyết vật lý khác nhau / khái niệm và chứa các bộ chương trình giải quyết vấn đề.Triết lý cơ bản là giải thích và cung cấp một giao diện dễ dàng để giải quyết vấn đề.