Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/PVSioChecker/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 254 B image not shown  

Quelle  PVSioChecker.dep   Sprache: unbekannt

 
/top,time_fun,pathname,pvsio_checker,is_prime,prime_check
reals/sign,sqrt_exists,sqrt,sq
top:time_fun,pathname,pvsio_checker,is_prime,prime_check
time_fun:
pathname:
pvsio_checker:time_fun,pathname,reals@sqrt
is_prime:
prime_check:pvsio_checker,is_prime

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]