![]() |
von Kevin LanoTaschenbuch
ISBN: 978-3-540-76033-7 ISBN-10: 3-540-76033-4 Springer-Verlag · 1996 |
Siehe auch (möglicherweise von anderen Autoren): | ||
1996 | Paperback | The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology) |