Software Engineering with OBJ
Subtitle: Algebraic Specification in Action
Publisher: Springer
Published: 2010
Language: eng
Number of pages: 410
ISBN-13: 9781441949653
Subjects: Software engineering; Algebra; Programming languages (electronic computers)