Invia software
  1. Casa
  2. Windows
  3. Altro
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

PiET è uno strumento di verifica per dieci equivalenze comportamentali per il Calcolo Pi.

cronologia delle versioni

  • Versione Piet%201.0 pubblicato il 2006-09-29
    Diverse correzioni e aggiornamenti
  • Versione Piet 1.0 pubblicato il 2006-09-29

Dettagli del programma

Programmi correlati

  • The Figaro Gratuito

    "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gestisce automaticamente gli esperimenti con generatori di input e plug-in di algoritmi. Contiene già alcuni generatori e algoritmi per

  • C++ Programming Reference FREE Prova gratuita

    Informazioni di riferimento complete sulla programmazione del linguaggio C++ dalle schede di riferimento rapido ai manuali di formazione del linguaggio di programmazioneUsa le possibilità che il cellulare ti offre, permet

  • MEP Auswertung Gratuito

    Questo programma è stato scritto tenendo presente la creazione di uno strumento utile per valutare i potenziali evocati del motore (MEP) generati dalla stimolazione magnetica transcranica (TMS) e registrati con il programma &

  • gsvit Gratuito

    Risolutore FDTD veloce con supporto per schede grafiche. Ottimizzato per l'ottica su scala nanometrica: microscopia ottica near field, scattering superficiale grezzo e celle solari. Utilizza l'ambiente CUDA per il funzionamen

  • Russian Vocabulary Gratuito

    È tempo di giocare al quiz del vocabolario russo! Divertenti quiz interattivi gratuiti di Golden Quartz ti danno conoscenza in movimento! Russo (Ã'€Ã'ƒÃ'ÂÃ'ÂÃ'Âúà̃Ãù Ã'Â÷ La lingua slava usata principalmente in Russ

  • Fiction Press Reader Gratuito

    Vuoi goderti FictionPress.com senza utilizzare tutti i tuoi dati per il mese? Questo è un lettore offline per Fiction Press che ti permetterà di leggere le tue storie in movimento. Ti consente anche di gestire e controllare f

  • brickit Gratuito

    Un repository basato sul web di plasmidi e biobrick (vedi http://parts.mit.edu) oltre a programmi di utilità correlati che supportano la ricerca sulla biologia sintetica.

  • Harrow Gratuito

    Libreria Java, servizio Web e webclient per la raccolta dei metadati. Attualmente supporta la raccolta da OAI-PMH a Fedora 2, ma può essere facilmente esteso per supportare più protocolli.

  • MLPA Analyzer Gratuito

    MLPA Analyzer è un ambiente di flusso di lavoro e analisi per l'amplificazione della sonda dipendente dalla legatura multiplex

  • Physics Solving Toolkit Gratuito

    Phyz è un programma educativo che mostra varie teorie / concetti di fisica e contiene serie di programmi di risoluzione dei problemi.La filosofia di base è spiegare e fornire un'interfaccia semplice per la risoluzione dei p