Ontbrekende synchronisatie voor iPhone
Breng uw kalender, contacten en foto's van uw BlackBerry, Palm of Smartphone naar uw iPhone over ...
13.3 MB
 | RoofvogelJAVA-tool voor redenering over imperatieve programma's |
| Download nu | |
Roofvogel Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Imperial College London
- Uitgever website:
- http://rtm.hep.ph.ic.ac.uk
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 1 KB
Roofvogel Tags
Roofvogel Beschrijving
Raptor is een applicatie die kan worden gebruikt voor redenering over imperatieve programma's. Raptor kan worden gebruikt om de proofs van programma's te construeren door gebruik te maken van de verklaring van opdracht .Renken met Booleans is ook opgenomen in de toepassing, evenals gehele typen en dimensionale arrays.PROGRAMMED in Java, Raptor kan op verschillende werking worden gebruikt, systemen, waaronder populaire zoals Windows, Mac OS X en Linux.
Roofvogel Gerelateerde software
Riffworks
Eenvoudige gitaaropnamesoftware met drums, effecten, online samenwerking en podcasting. ...
102.3 MB
