Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

PiET est un outil de vérification de dix équivalences comportementales pour le Pi Calculus.

historique de la version

  • Version Piet%201.0 posté sur 2006-09-29
    Plusieurs correctifs et mises à jour
  • Version Piet 1.0 posté sur 2006-09-29

Détails du programme

Programmes connexes

  • The Figaro Gratuit

    Le "Framework for Implicit Graph Algorithms and Representations par OBDDs" (Figaro) gère automatiquement des expériences avec des plugins générateur d’entrées et algorithmes. Il contient déjà quelques générateurs et

  • C++ Programming Reference FREE Essai gratuit

    Compléter la référence de programmation linguistique C++ à partir de cartes de référence rapides, à la programmation des manuels de formation linguistiqueUtilisez les possibilités que le mobile vous offre, ce qui vous per

  • MEP Auswertung Gratuit

    Ce programme a été écrit en ayant à l’esprit de créer un outil utile pour évaluer les potentiels évoqués moteurs (DÉPUTÉS) générés par la stimulation magnétique transcrânienne (SMT) et enregistrés avec le programme "Sign

  • gsvit Gratuit

    Solveur FDTD rapide avec prise en charge de la carte graphique. Optimisé pour l’optique à l’échelle nanométrique - numérisation à proximité de la microscopie optique en champ, diffusion de surface rugueuse et cellules solaire

  • Russian Vocabulary Gratuit

    Il est temps de jouer au quiz vocabulaire russe! Des jeux-questionnaires interactifs amusants et gratuits de Golden Quartz vous donnent des connaissances en mouvement! Russe (’€ÒÂンÃ’ÂÃ’Âúà̧ù Ã’Â÷ ҋú, russkiy

  • Fiction Press Reader Gratuit

    Vous voulez profiter FictionPress.com sans utiliser toutes vos données pour le mois? Il s’agit d’un lecteur hors ligne pour Fiction Press qui vous permettra de lire vos histoires sur la bonne voie. Il vous permet également de

  • brickit Gratuit

    Un référentiel web de plasmides et de biobricks (voir http://parts.mit.edu) ainsi que des programmes d’utilité connexes qui appuient la recherche en biologie synthétique.

  • Harrow Gratuit

    Une bibliothèque Java, un service Web et un webclient pour la collecte des métadonnées. Il prend actuellement en charge la récolte de l’OAI-PMH à Fedora 2, mais peut facilement être étendu pour soutenir plus de protocoles.

  • MLPA Analyzer Gratuit

    MLPA Analyzer est un environnement de workflow et d’analyse pour l’amplification de sonde dépendante de la Ligation Multiplex

  • Physics Solving Toolkit Gratuit

    Phyz est un programme éducatif qui montre diverses théories/concepts de physique et contient des ensembles de programmes de résolution de problèmes.La philosophie de base est d’expliquer et de fournir une interface facile p