Axiomatising the logic of computer programming

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Goldblatt, Robert (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1982
Schriftenreihe:	Lecture notes in computer science 130
Schlagworte:	Programming languages (Electronic computers) > Semantics > Proof theory > Computer programs > Verification > Computer Science > Logics and Meanings of Programs > Axiomatik > Programmierlogik > Programmiersprache > Semantik > Beweistheorie > Syntax
Online Zugang:	Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!