Books listed by ISBN
>
Springer
> Logics of Programs Workshop (1983 Carnegie Mellon University)
Logics of Programs Workshop (1983 Carnegie Mellon University)
title
ISBN-13
(ISBN-10)
year of publication
Logics of Programs: Lecture Notes in Computer Science
978-O-387-12896-2
(O-387-12896-4)
1984
L.P.
·
L. W.
·
O.P.
·
O.W.
·
P W.
Loginov O.