Logics of programs
proceedings
Livre Ecrit par: Parikh, Rohit ; Publié en: 1985
Edition:
Berlin:
Springer
Springer
Langue:
Anglais
Collation:
VI-424 p.
;24 cm
ISBN: 0387156488