Logics of Programs
Workshop, Yorktown Heights, NY, USA
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
D. Kozen
Themen in »Logics of Programs«
algorithms concurrency logic program semantics program verification semantics
Stimmen zu »Logics of Programs«
Details
ISBN: 9783540112129
Verlag: Springer Berlin
Erscheinung: 01.03.1982