Buy Used and New Bernhard M??ller Books

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report: 755 (Lecture Notes in Computer Science)

by Steve Schuman,Helmut Partsch,Bernhard M??ller

ISBN 13: 9783540574996

Format: Paperback (388 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science)

by Jan Heering,Bernhard M??ller,Gilles Dowek,Karl Meinke

ISBN 13: 9783540612544

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)

by Jan Heering,Tobias Nipkow,Bernhard M??ller,Karl Meinke

ISBN 13: 9783540582335

Format: Illustrated (360 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later