An edition of Logics of programs (1985)
Brooklyn, June 17-19, 1985 : proceedings
By Rohit Parikh
Publish Date
1985
Publisher
Springer-Verlag
Language
eng
Pages
424
Description:
subjects: Congresses, Symbolic and mathematical Logic, Computer programs, Logique programme, Lambda calcul, Vérification programme, Spécification programme, Programmation en logique, Théorie type, Logique mathématique