Editing While Programs/Specifications

/* 10 */ skip

/* 11 */ skip

/* 10 */ skip

x := 3

/* 11 */ skip

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen