Proof in VDM: A Practitioners' Guide (Formal Approaches to Computing and Information Technology (F)

von: Juan C. Bicarregui · John S. Fitzgerald · Peter A. Lindsay

Springer, B. · 1993

Taschenbuch

Details (Deutschland)

Details (USA)

Details (Großbritannien)

Details (Kanada)

Details (Frankreich)

Details (Italien)

ISBN-13: 978-3-540-19813-0

ISBN-10: 3-540-19813-X