Axiomatising the logic of computer programming

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Goldblatt, Robert (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin u.a. Springer 1982
Schriftenreihe:	Lecture notes in computer science 130
Schlagworte:	Syntax > Programmierung > Logik > Beweistheorie > Semantik > Programmierlogik > Axiomatik > Programmiersprache
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!