The construction of formal specifications : an introduction to the model-based and algebraic approaches /

authors:subjects:publishers:series:ISBN:people who borrowed this, also borrowed:
University of Huddersfield Library Catalogue