Logics of Programs
Brooklyn, June 17-19, 1985
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Rohit Parikh
Themen in »Logics of Programs«
Computer Logic Programs automata distributed computing lambda calculus modeling programming programming language real-time semantics verification
Stimmen zu »Logics of Programs«
Details
ISBN: 9783540156482
Verlag: Springer Berlin
Erscheinung: 01.06.1985