von R. Goldblatt
Taschenbuch
ISBN: 978-3-540-11210-5
ISBN-10: 3-540-11210-3
Springer · 2008
|
|
von R. GoldblattTaschenbuch
ISBN: 978-3-540-11210-5 ISBN-10: 3-540-11210-3 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1982 | Paperback | Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science) |