Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

PiET is een verificatietool voor tien gedragsgelijkies voor de Pi Calculus.

versiegeschiedenis

  • Versie Piet%201.0 geplaatst op 2006-09-29
    Verschillende oplossingen en updates
  • Versie Piet 1.0 geplaatst op 2006-09-29

Programmadetails

Gerelateerde programma's

  • The Figaro Gratis

    Het "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) beheert automatisch experimenten met input generator en algoritme plugins. Het bevat al een aantal generatoren en algoritmen voor g

  • C++ Programming Reference FREE Gratis proefperiode

    Volledige C++ taalprogrammeringsreferentie van snelle referentiekaarten tot programmeertaaltrainingshandleidingenGebruik de mogelijkheden die de mobiele telefoon u biedt, zodat u onderweg studeren of controleren wat u wil

  • MEP Auswertung Gratis

    Dit programma is geschreven met in het achterhoofd om een nuttig hulpmiddel te creëren om de Motor Evoked Potentials (EP-leden) gegenereerd door Transcranial Magnetic Stimulation (TMS) te evalueren en opgenomen met het progra

  • gsvit Gratis

    Snelle FDTD-oplosser met ondersteuning van grafische kaarten. Geoptimaliseerd voor nanoschaal optica - scannen in de buurt van veld optische microscopie, ruwe oppervlakteverstrooiing en zonnecellen. Gebruikt CUDA-omgeving voo

  • Russian Vocabulary Gratis

    Het is tijd om de Russische Woordenschat quiz te spelen! Leuke, gratis interactieve trivia quizzen van Golden Quartz geeft je kennis on-the-go! Russisch (Ã'€ Ã'ƒã'ÂÃ'ÂúàªÃ¹ Ã'Â÷ · Ã'‹Ãº, russkiy yazyk, uitgesproke

  • Fiction Press Reader Gratis

    Wilt u genieten van FictionPress.com zonder al uw gegevens voor de maand te gebruiken? Dit is een offline lezer voor Fiction Press waarmee u uw verhalen onderweg lezen. Het laat je ook beheren en gemakkelijk controleren op up

  • brickit Gratis

    Een web-based repository van plasmiden en biobricks (zie http://parts.mit.edu) plus aanverwante hulpprogramma's die synthetisch biologieonderzoek ondersteunen.

  • Harrow Gratis

    Een Java-bibliotheek, webservice en webclient voor het oogsten van metadata. Het ondersteunt momenteel oogsten van OAI-PMH naar Fedora 2, maar kan gemakkelijk worden uitgebreid om meer protocollen te ondersteunen.

  • MLPA Analyzer Gratis

    MLPA Analyzer is een workflow- en analyseomgeving voor Multiplex Ligation-afhankelijke Probe Amplification

  • Physics Solving Toolkit Gratis

    Phyz is een educatief programma dat verschillende fysicatheorieën/concepten toont en sets van probleemoplossende programma's bevat.De basisfilosofie is om uit te leggen en een eenvoudige interface te bieden voor het oplosse