Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

PiET adalah alat verifikasi untuk sepuluh kesetaraan perilaku untuk Kalkulus Pi.

Riwayat versi

  • Versi Piet%201.0 diposting di 2006-09-29
    Beberapa perbaikan dan pembaruan
  • Versi Piet 1.0 diposting di 2006-09-29

Detil Program

Program Terkait

  • The Figaro Gratis

    "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) secara otomatis mengelola eksperimen dengan generator input dan plugin algoritma. Ini sudah berisi beberapa generator dan algoritma unt

  • C++ Programming Reference FREE Uji Coba Gratis

    Referensi pemrograman bahasa C++ lengkap dari kartu referensi cepat, hingga panduan pelatihan bahasa pemrogramanGunakan kemungkinan ponsel membawa Anda, memungkinkan untuk belajar atau memeriksa apa pun yang Anda inginkan

  • MEP Auswertung Gratis

    Program ini telah ditulis dalam pikiran untuk membuat alat yang berguna untuk mengevaluasi Motor Evoked Potentials (MEP) yang dihasilkan oleh Transcranial Magnetic Stimulation (TMS) dan direkam dengan program "Signal&quo

  • gsvit Gratis

    Pelarut FDTD cepat dengan dukungan kartu grafis. Dioptimalkan untuk optik nanoscale - pemindaian di dekat mikroskop optik lapangan, sebaran permukaan kasar dan sel surya. Menggunakan lingkungan CUDA untuk operasi kartu grafis

  • Russian Vocabulary Gratis

    Sudah waktunya untuk memainkan kuis Kosakata Rusia! Kuis trivia interaktif gratis yang menyenangkan dari Golden Quartz memberi Anda pengetahuan saat bepergian! Rusia (Ã'€Ã'ƒÃ'ÂÃ'Âúà̧ù Ã'Â÷ Ã'‹Ãº, russkiy yazyk, di

  • Fiction Press Reader Gratis

    Ingin menikmati FictionPress.com tanpa menggunakan semua data Anda untuk bulan ini? Ini adalah pembaca offline untuk Fiction Press yang akan memungkinkan Anda untuk membaca cerita Anda di mana saja. Ini juga memungkinkan Anda

  • brickit Gratis

    Repositori plasmid dan biobrick berbasis web (lihat http://parts.mit.edu) ditambah program utilitas terkait yang mendukung penelitian biologi sintetis.

  • Harrow Gratis

    Pustaka Java, layanan web, dan webclient untuk memanen metadata. Saat ini mendukung panen dari OAI-PMH ke Fedora 2, tetapi dapat dengan mudah diperluas untuk mendukung lebih banyak protokol.

  • MLPA Analyzer Gratis

    MLPA Analyzer adalah lingkungan alur kerja dan analisis untuk Amplifikasi Probe yang bergantung pada Multiplex Ligation

  • Physics Solving Toolkit Gratis

    Phyz adalah program pendidikan yang menunjukkan berbagai teori / konsep Fisika dan berisi sekumpulan program pemecahan masalah.Filosofi dasarnya adalah menjelaskan dan menyediakan antarmuka yang mudah untuk pemecahan masala