Springer-Verlag SHOW UNMOOCHABLE + AUTHOR > TITLE > TOPIC > PUBLISHER > ? RELATED SEARCHES > ADVANCED SEARCH > SHOW COVERS + Publisher Copies Dexter Kozen The Design and Analysis of Algorithms 1 August-Wilhelm Scheer Aris--Business Process Modeling 1 Friedrich L. Bauer Software Engineering 1 Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >