Algebraic Specification Protocols (Cambridge Tracts in Theoretical Computer Science)

by S. Mauw Paperback details (UK). ISBN: 978-0-521-08812-1 ISBN-10: 0-521-08812-7 Cambridge University Press · 2008