Towards a Formal Description of Ada (Lecture Notes in Computer Science (98), Band 98)
von:
O.N. Oest ·
D Bjorner
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-10283-0
ISBN-10: 3-540-10283-3
Springer
· 2008
Siehe auch (möglicherweise von anderen Autoren):
1981
Paperback
Towards a Formal Description of Ada (Lecture notes in computer science)