Piet.

Strumento di verifica per PI Calculus
Scarica ora

Piet. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • LGPL
  • Prezzo:
  • FREE
  • Nome editore:
  • Matteo Mio
  • Sito web dell'editore:
  • Sistemi operativi:
  • Mac OS X
  • Dimensione del file:
  • 291 KB

Piet. Tag


Piet. Descrizione

Strumento di verifica per PI Calculus Piet č uno strumento di verifica gratuito e open source per dieci equivalenze comportamentali per il calcolo PI. Requisiti: · Java.


Piet. Software correlato

Chi siamo