Books by Magnussen, Sönke Johannes
See the best price to sell, buy, or rent books by Magnussen, Sönke Johannes. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems
Author(s): Magnussen, Sönke Johannes
ISBN-13: 9783832501525