Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

PiET jest narzędziem weryfikacji dziesięciu równoważności behawioralnych dla rachunku Pi.

historia wersji

  • Wersja Piet%201.0 opublikowany na 2006-09-29
    Kilka poprawek i aktualizacji
  • Wersja Piet 1.0 opublikowany na 2006-09-29

Szczegóły programu

Programy pokrewne

  • The Figaro Wolna

    "Framework dla niejawnych algorytmów wykresu i reprezentacji przez OBDDs" (Figaro) automatycznie zarządza eksperymentami z generatorem danych wejściowych i wtyczkami algorytmów. Zawiera już niektóre generatory i alg

  • C++ Programming Reference FREE Bezpłatna wersja próbna

    Kompletne odniesienie do programowania języka C++ z szybkich kart referencyjnych po podręczniki szkoleniowe języka programowaniaSkorzystaj z możliwości, które daje Ci telefon komórkowy, umożliwiając studiowanie lub sprawd

  • MEP Auswertung Wolna

    Ten program został napisany mając na uwadze, aby stworzyć przydatne narzędzie do oceny Motor Evoked Potentials (MEP) generowane przez Przezczaszkową Stymulację Magnetyczną (TMS) i rejestrowane z programem "Signal" (

  • gsvit Wolna

    Szybki solver FDTD z obsługą karty graficznej. Zoptymalizowany pod kątem optyki w nanoskali - skanowanie mikroskopii optycznej w pobliżu pola, szorstką rozpraszanie powierzchni i ogniwa słoneczne. Używa środowiska CUDA do pra

  • Russian Vocabulary Wolna

    Nadszedł czas, aby zagrać w rosyjskim quizie słownictwa! Zabawne, darmowe interaktywne quizy z golden quartz daje wiedzę w podróży! Rosyjski (Ã' € Ã'ƒÃ'ÂÃ'Âúà̈ù¹ Ã'Â÷ Ã'‹ ú, russkiy yazyk, wymawiane [à ‹  €rusk

  • Fiction Press Reader Wolna

    Chcesz cieszyć się FictionPress.com bez zużywania wszystkich danych w miesiącu? Jest to czytnik offline dla Fiction Press, który pozwoli Ci czytać swoje historie w podróży. Pozwala również zarządzać i łatwo sprawdzać aktualiz

  • brickit Wolna

    Internetowe repozytorium plazmizd i trzęsienic (patrz http://parts.mit.edu) oraz powiązane programy użytkowe, które wspierają badania nad biologią syntetyczną.

  • Harrow Wolna

    Biblioteka Java, usługa internetowa i webclient do zbierania metadanych. Obecnie obsługuje zbieranie z OAI-PMH do Fedory 2, ale można go łatwo rozszerzyć, aby obsługiwać więcej protokołów.

  • MLPA Analyzer Wolna

    Analizator MLPA to środowisko przepływu pracy i analizy dla amplifikacji sondy zależnej od multipleksu

  • Physics Solving Toolkit Wolna

    Phyz to program edukacyjny, który pokazuje różne teorie fizyki / koncepcje i zawiera zestawy programów rozwiązywania problemów.Podstawową filozofią jest wyjaśnienie i zapewnienie łatwego interfejsu do rozwiązywania problemó