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 image

Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

ISBN-13: 9783832501525
Publisher: Logos Verlag
Released: Jun 27, 2003
Format: Paperback, 220 pages
SEE PRICES