PiET: Pi Calculus Equivalences Tester


soggetto

Matematica (1380)

traduzione italiana

Matematica (18)

piet

PiET è un attrezzo di verifica per dieci equivalenze del comportamento per il calcolo di pi.。

condizione

Prodotto/Stabile

Pubblici progettati

utente avanzato

Autorizzazione

LGPL

OS

multi plateforme

Linguaggio di programmazione

OCaml (Objective Caml)

soggetto

Matematica

Traduzioni

Inglese

Interfaccia di utente

Java Swing

programmatore

1

dal

2006-09-28 09:11

potete trasferire al seguente URL
http://sourceforge.net/projects/piet