Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

von J. C. Bicarregui Taschenbuch Details (Deutschland) Details (United States) ISBN-13: 978-3-540-76186-0 ISBN-10: 3-540-76186-1 Springer-Verlag · 1998