| | Cocktail IIHet is een hulpmiddel voor de formele statische verificatie van programma's |
| Download nu | |
Cocktail II Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Naam uitgever:
- M.Franssen
- Besturingssystemen:
- Windows
- Bestandsgrootte:
- 32.4 MB
Cocktail II Tags
Cocktail II Beschrijving
Cocktail II (door een gebrek aan een betere naam) is een follow-upproject van cocktail. Het is een hulpmiddel voor de formele statische verificatie van programma's. De taal die momenteel wordt ondersteund, is klein, maar toont al enkele interessante functies, zoals recursieve datatypes. Deel uw ervaring: Schrijf een beoordeling over dit programma
Cocktail II Gerelateerde software
Skeep VNC-console
SKEED VNC-console is een HTA-toepassing om VNC te implementeren, te besturen en te beheren. ...
Free
Coolermaster trigger
Trigger is een toepassing die wordt gebruikt om de toetsenborden van CoolMaster te configureren. ...
104 MB