Synonym-Details zu 'Hoare-Kalkül · Hoare-Logik'

Bitte einloggen

Synonyme

		Hoare-Kalkül [1]
		Hoare-Logik [1]

Computer (zeigen)

Mathematik (zeigen)

[nicht gesetzt]

[nicht gesetzt]

[nicht gesetzt]

Anmelden und diesen Eintrag verbessern

Datum	Benutzer	Änderung
2015-03-29 10:22	Synonymfresser	Hoare-Kalkül · Hoare-Logik \|\| visible \|\| categories=Computer\|Mathematik
2015-03-29 10:22	Synonymfresser	Hoare-Kalkül · Hoare-Logik \|\| visible visible \|\| categories=Computer
2015-03-29 10:21	Synonymfresser	\| [empty] \|\| visible
2015-03-29 10:21	Synonymfresser	\| Hoare-Kalkül \|\| visible
2015-03-29 10:21	Synonymfresser	\| Hoare-Kalkül · Hoare-Logik \|\| visible