| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/realmSL/ (Wiener Entwicklungsmethode ©) |
|
Quellcode-Bibliothek vectors_3D_def.pvs Sprache: PVS |
|||||||||
|
vectors_3D_def : THEORY
BEGIN IMPORTING vectors_2D_def Vect3 : TYPE = Vect2 WITH [# z: real #] mk_vect3(x,y,z: real) : MACRO Vect3 = (# x := x, y := y, z := z #) CONVERSION mk_vect3 END vectors_3D_def ¤ 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 |
|
2026-03-28