Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. alf

alf 1.0

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.3/5 - ‎4 ‎Stemmen
Downloaden

Alf is een verzameling van instrumenten om te experimenteren met formele talen. Alf is draagbaar en gebruiksvriendelijk. Het is ontwikkeld op Politecnico di Milano.

versiegeschiedenis

  • Versie files geplaatst op 2009-12-09
    Verschillende oplossingen en updates
  • Versie alf-1.0 geplaatst op 2007-01-04

Programmadetails

Gerelateerde programma's

  • Png to Ico Gratis proefperiode

    Png naar Ico is een eenvoudig te gebruiken tool die PNG-bestand kan converteren naar ICON-bestand. De conversiekwaliteit is erg goed en ondersteunt batchconversie. Met deze tool u eenvoudig pictogrammen van hoge kwaliteit mak

  • WebFlowChart Gratis proefperiode

    Wat is een WebFlowChart?WebFlowChart is een flowchart editor op basis van Java?. Dit is ontwikkeld voor gebruik in een intranet of internetsysteem en is vooral geschikt voor proces- of grafiekpresentatie.Het punt: U bent

  • ORCGeNext Gratis proefperiode

    DoelstellingenDeze tool kan worden gebruikt voor het genereren van basiscode (kenmerken, gegevenstoegangslaag, bedrijfslogicalaag, presentatielaag, opstartproject, toepassingsserver, think client) voor multi-tier toepassing

  • Excellent Minimize to Tray Gratis proefperiode

    Het maakt niet uit of Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: elke toepassing kan worden geminimaliseerd in het infogebied (lade). Minimaliseert alle toepassingen met 1 clik als pictogrammen in h

  • Gemini Linux Gratis

    Gemini Linux is een lichtgewicht debian-based linux distributie. Het project biedt een snel en stabiel systeem met XFCE-bureaubladomgeving en Openbox-vensterbeheer als standaard.

  • Memento Gratis

    Memento is een lichtgewicht kennismanagementsysteem gebaseerd op de theorie van memes. Gebruik het om op te slaan wat je hebt geleerd, gebruik dan de weblog-stijl publicatiefaciliteit om te delen wat je weet.

  • FastCGI / CGI C++ library Gratis

    Een moderne, draagbare CGI bibliotheek geschreven in standaard C++. Asynchrone CGI en FastCGI worden beide ondersteund in een duidelijke, eenvoudige en efficiënte bibliotheek die is gebouwd op de Boost C++ bibliotheken (met n

  • GerbMerge Gratis

    GerbMerge is een programma voor het combineren van Gerber/Excellon bestanden voor printplaat productie. Het kan kopieën van dezelfde taak, verschillende taken, en kan ook draaien taken. GerbMerge kan worden uitgevoerd in batc

  • Japplis Toolbox Gratis

    Japplis Toolbox is een compilatie van teksthulpprogramma's in één toepassing.Het kan coderen en decoderen URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Het kan getallen converteren van/naar binair, octaal, decimaa

  • Eclipse CDT GNU PowerPC Plug-in Gratis

    Een plug-in voor de Eclipse C/C++ Development Tooling (CDT) die nieuwe projecttypen toevoegt die specifiek zijn voor De ontwikkeling van PowerPC C/C++.A plug-in for the Eclipse C/C++ Development Tooling (CDT) that adds new Pr