Axiomatising the logic of computer programming

Gespeichert in:

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