Alf औपचारिक भाषाओं के साथ प्रयोग करने के लिए उपकरणों का एक संग्रह है। Alf पोर्टेबल और उपयोग करने के लिए आसान है। इसे पॉलिटिको डि मिलानो में विकसित किया गया है।
संस्करण इतिहास
- विवरण files पर तैनात 2009-12-09
कई सुधार और अपडेट - विवरण alf-1.0 पर तैनात 2007-01-04
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: alf.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.0
- मंच: windows