by B. Bjorner
Paperback
ISBN: 978-0-387-10283-2
ISBN-10: 0-387-10283-3
Springer Verlag · 1981
|
|
by B. BjornerPaperback
ISBN: 978-0-387-10283-2 ISBN-10: 0-387-10283-3 Springer Verlag · 1981 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Towards a Formal Description of Ada (Lecture Notes in Computer Science, Band 98) |