| products/sources/formale Sprachen/Isabelle/Tools/jEdit/patches/ (Columbo Version 0.7©) Datei vom 16.11.2025 mit Größe 1 kB |
|
Quellcode-Bibliothek Gcd.ads Sprache: Ada |
|||||||||
|
package Greatest_Common_Divisor
is --# function Gcd(A, B: Natural) return Natural; procedure G_C_D(M, N: in Natural; G: out Natural); --# derives G from M, N; --# pre M >= 0 and N > 0; --# post G = Gcd(M,N); end Greatest_Common_Divisor; ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
