Sprungmarken

Zum Inhalt springen. Zur Brotkrumen-Navigation springen. Zur Navigation springen. Zur Uni-globalen Navigation springen. Web-Impressum der Universität.
Carl von Ossietzky Universität Oldenburg.

Navigationsmenü

Petruchio
  • Features
  • Screenshots
  • Documentation
  • Downloads
  • Publications
  • About Us
Sie sind hier: Uni. Fak.. Fk. II. Informatik. Korrekte Systeme. Petruchio. Downloads. Index

Theoretische Informatik - Entwurf korrekter Systeme

Petruchio Downloads

The Petruchio IDE 

Petruchio is available precompiled for various platforms.

Linux x86

Linux x86_64

Linux PPC

MacOSX x86 (Intel Mac)

MacOSX PPC

Solaris Sparcs

Win32


Example Projects

Examples


 

Hilfe. Suche. Impressum. Schriftgröße. Seite empfehlen. Druckversion. Robert von Massow. Stand: 01.07.2008

Globale Navigation der Universität:
  • Startseite
  • Suche
  • Die Universität
  • Aktuelles
  • Studium
  • Forschung
  • Fakultäten
  • Einrichtungen
  • Weiterbildung