Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Logics of programs

Titel:

Logics of programs : workshop, Yorktown Heights, New York, May 1981 / ed. by Dexter Kozen

Beteiligt:

Kozen, Dexter (Hrsg.)

Körperschaft:

Veröffentlicht:

Berlin [u.a.] : Springer, 1982

Umfang:

V, 429 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 131
alle Bände anzeigen

RVK-Notation:

ISBN:

038711212X ; 354011212X

Zusatz-Informationen