Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy
Indir

PiET, Pi Calculus için on davranışsal eşdeğerlik için bir doğrulama aracıdır.

sürüm geçmişi

  • Sürüm Piet%201.0 tarihinde gönderildi 2006-09-29
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm Piet 1.0 tarihinde gönderildi 2006-09-29

Program Detayları

İlgili Programlar

  • The Figaro Ücret -siz

    OBDDs" tarafından "Framework for Implicit Graph Algoritmaları ve Gösterimleri için çerçeve; (Figaro) giriş jeneratörü ve algoritma eklentileri ile deneyleri otomatik olarak yönetir. Zaten grafik ve zamanlama sorunlar

  • C++ Programming Reference FREE Ücretsiz Deneme

    Hızlı başvuru kartlarından programlama dili eğitim kılavuzlarına kadar Tam C++ dil programlama başvurusuHareket halindeyken istediğiniz her şeyi incelemenize veya kontrol etmenize olanak tanıyan cep telefonunun size sundu

  • MEP Auswertung Ücret -siz

    Bu program Transkraniyal Manyetik Stimülasyon (TMS) tarafından oluşturulan Motor Uyarılmış Potansiyelleri (MEPs) değerlendirmek için yararlı bir araç oluşturmak için akılda yazılı ve program "Signal" (sürüm 2.xx) il

  • gsvit Ücret -siz

    Grafik kartı desteği ile hızlı FDTD çözücü. Nano ölçekli optik için optimize edilmiş - yakın alan optik mikroskopisi, pürüzlü yüzey saçılma ve güneş pilleri tarama. Grafik kartı işlemi için CUDA ortamını kullanır.

  • Russian Vocabulary Ücret -siz

    Rusça Kelime testi oynama zamanı! Golden Quartz'ın eğlenceli, ücretsiz interaktif trivia sınavları size yolda bilgi verir! Rusça (Ã' €Ã'ƒÃ'ÂÃ'ÂÃ'Âú Ãܹ Ã'Â÷ Ã'‹Ãº, russkiy yazyk, telaffuz [ÃÃâ ¤â¤â¤ˈˈâ¤â¤ˈˈã¤â¤) ön

  • Fiction Press Reader Ücret -siz

    Ay için tüm verilerinizi kullanmadan FictionPress.com keyfini çıkarmak ister misiniz? Bu, kurgusal basın için, hikayelerinizi yolda okumanızı sağlayacak çevrimdışı bir okuyucudur. Ayrıca, öykülerinizin güncellemelerini yönetm

  • brickit Ücret -siz

    Plazmidler ve biyotuğlalar (bkz http://parts.mit.edu) artı sentetik biyoloji araştırmadestekleyen ilgili yardımcı programları bir web tabanlı deposu.

  • Harrow Ücret -siz

    Meta verileri toplamak için Java kitaplığı, web hizmeti ve web istemcisi. Şu anda Fedora 2 OAI-PMH hasat destekler, ancak kolayca daha fazla protokolleri desteklemek için uzatılabilir.

  • MLPA Analyzer Ücret -siz

    MLPA Analyzer, Multipleks Ligasyona bağlı Prob Amplifikasyonu için bir iş akışı ve analiz ortamıdır

  • Physics Solving Toolkit Ücret -siz

    Phyz çeşitli Fizik kuramları / kavramları gösteren ve problem çözme programları setleri içeren bir eğitim programıdır.Temel felsefe açıklamak ve problem çözme için kolay bir arayüz sağlamaktır.