Mathematical logic and programming languages

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Hoare, Charles A. R. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Englewood Cliffs, NJ u.a. Prentice Hall Internat. 1986
Ausgabe:	2. [print.]
Schriftenreihe:	Prentice-Hall international series in computer science
Schlagworte:	Mathematische Logik > Programmiersprache > Konferenzschrift
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Literaturangaben
Beschreibung:	Aus: Philosophical transactions of the Royal Society. Ser. A, Vol. 312. 1984. - Literaturangaben
Beschreibung:	184 S. graph. Darst.
ISBN:	0135614651 0-13-561465-1