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: 9783540390473
Verlag: Springer Berlin
Erscheinung: 19.11.2005