Advertentie
Agda
Gratis en Open Source Interactive Proof Editor voor uw Mac ...
Bewerk ontwikkelen proefeditor proof assistant bewijzen ontwikkelen
HOL-OCL
HOL-OCL - Interactieve bewijsomgeving voor het object Constraint Language (OCL) ...
bouwen bewijs bewijs omgeving OCL milieu Verfijn de specificatie
Isabelle
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
assistent proof assistant bewijs formaliseren wiskundig bewijs formele verificatie
Roofvogel
JAVA-tool voor redenering over imperatieve programma's ...
Bonjour-bewijs van concepttoepassingen
Bonjour-bewijs van concepttoepassingen - voor het geval u een demonstratie nodig had. ...
proef-
Een softwaretool die uw afgedrukte bewijzen verifieert op verschillende ISO-normen. ...
Persoonlijk
Een proofdruktool die absoluut gemakkelijk te gebruiken is. ...
Creatief bewijs het drukken Proofdruktool Creatief ontwerpwerk
Bewijs het
Firefox-add-on die tracking-referenties in MediaWiki faciliteert met behulp van cite.php .. ...
Kleur ruimtebewijs creatief
Kleurruimte bestendig Creatief - Kleur matching RIP voor inkjets ...
Bewijs
Fast Document Export Herziening voor iedereen ...
beoordeling document exportdocument recensent Documentbeoordeling
Proefmaster
COMPLETEERD EN PRODUCTENDE DIGITALE COLOR-proofing RIP voor grafische kunst en pre-press-professionals ...
opwekken
Java-tool voor het bouwen van natuurlijke aftrekproeven ...