Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

PiET adalah alat pengesahan untuk sepuluh persamaan tingkah laku untuk Pi Calculus.

sejarah versi

  • Versi Piet%201.0 diposkan pada 2006-09-29
    Beberapa pembaikan dan pengemaskinian
  • Versi Piet 1.0 diposkan pada 2006-09-29

Butiran Atur Cara

Atur Cara Berkaitan

  • The Figaro Percuma

    Rangka Kerja Algoritma Graf Tersirat dan Perwakilan oleh OBDDs" (Figaro) menguruskan eksperimen secara automatik dengan penjana input dan pemalam algoritma. Ia sudah mengandungi beberapa penjana dan algoritma untuk m

  • C++ Programming Reference FREE Percubaan Percuma

    Lengkapkan rujukan pengaturcaraan bahasa C++ dari kad rujukan cepat, kepada manual latihan bahasa pengaturcaraanGunakan kemungkinan telefon bimbit membawa anda, membolehkan untuk mengkaji atau memeriksa apa sahaja yang an

  • MEP Auswertung Percuma

    Program ini telah ditulis dengan perlu diingat untuk mencipta alat yang berguna untuk menilai Potensi Evoked Motor (MEP) yang dihasilkan oleh Rangsangan Magnet Transklanial (TMS) dan direkodkan dengan program & sebut harg

  • gsvit Percuma

    Pelarut FDTD cepat dengan sokongan kad grafik. Dioptimumkan untuk optik nanoscale - mengimbas berhampiran mikroskopik optik medan, permukaan kasar berselerak dan sel solar. Menggunakan persekitaran CUDA untuk operasi kad graf

  • Russian Vocabulary Percuma

    Sudah tiba masanya untuk memainkan kuiz perbendaharaan Kata Rusia! Menyeronokkan, kuiz trivia interaktif percuma dari Golden Quartz memberikan anda pengetahuan tentang pergi! Rusia (Ã' € Ã'ƒÃ'ÂÃ'Âúà̧ù Ã'Âà· Ã' ‹Ãº

  • Fiction Press Reader Percuma

    Ingin menikmati FictionPress.com tanpa menggunakan semua data anda untuk bulan itu? Ini adalah pembaca luar talian untuk Fiksyen Akhbar yang akan membolehkan anda membaca cerita anda di mana sahaja. Ia juga membolehkan anda m

  • brickit Percuma

    Repositori berasaskan web plasmid dan biobricks (lihat http://parts.mit.edu) ditambah dengan program utiliti berkaitan yang menyokong penyelidikan biologi sintetik.

  • Harrow Percuma

    Perpustakaan Java, webservice dan webclient untuk menuai metadata. Ia kini menyokong penuaian dari OAI-PMH ke Fedora 2, tetapi dengan mudah boleh diperluaskan untuk menyokong lebih banyak protokol.

  • MLPA Analyzer Percuma

    MLPA Analyzer adalah aliran kerja dan persekitaran analisis untuk Probe Amplification bergantung kepada Multiplex Ligation

  • Physics Solving Toolkit Percuma

    Phyz adalah program pendidikan yang menunjukkan pelbagai teori/ konsep Fizik dan mengandungi set program penyelesaian masalah.Falsafah asas adalah untuk menerangkan dan menyediakan antara muka yang mudah untuk menyelesaikan