On the Refinement Calculus (Formal Applications of Computing & Information Technology)

Information

by Carroll Morgan

Hardcover

ISBN: 978-0-387-19809-5

ISBN-10: 0-387-19809-1

Springer Verlag · 1994
See also:
2013TaschenbuchOn the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
1994Gebundene AusgabeOn the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))