by K. Lano
Paperback
ISBN: 978-0-387-76033-9
ISBN-10: 0-387-76033-4
Springer Verlag · 1996
|
|
by K. LanoPaperback
ISBN: 978-0-387-76033-9 ISBN-10: 0-387-76033-4 Springer Verlag · 1996 |
| See also: | ||
| 1996 | Taschenbuch | The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) |