products/Sources/formale Sprachen/C/Firefox/taskcluster/kinds/source-test/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 720 B image not shown  

 vectors_2D_def.pvs  Interaktion und
Portierbarkeitunbekannt

  
vectors_2D_def : THEORY
BEGIN

  Vect2 : TYPE = [#  x, y: real  #]
  
  mk_vect2(x,y:real) : MACRO Vect2 =  (# x := x, y := y #) 

  CONVERSION mk_vect2
  
END vectors_2D_def

Messung V0.5 in Prozent
C=100 H=100 G=100

[Konzepte0.12Was zu einem Entwurf gehörtWie die Entwicklung von Software durchgeführt wird2026-09-29]