Logics of Programs
Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
E. Clarke
Themen in »Logics of Programs«
ALGOL Programs algorithms logic programming language semantics
Stimmen zu »Logics of Programs«
Details
ISBN: 9783540387756
Verlag: Springer Berlin
Erscheinung: 02.07.2005