mural: A Formal Development Support System: A Formal Development Support System
von
C.B. Jones
Broschiert
Details (
Deutschland
)
ISBN-13: 978-3-540-19651-8
ISBN-10: 3-540-19651-X
Springer
· 2013