1.
 |  | Title: Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995 : Proceedings (Lecture Notes in Computer Science, 947)
by Bernhard Moller
ISBN: 3540601171
Publisher: Springer-Verlag
Pub. Date: 01 July, 1995
List Price: $98.00
Amazon.com Price: $98.00 |
2.
|  | Title: Prospects for Hardware Foundations: Esprit Working Group 8533 : Nada--New Hardware Design Methods, Survey Chapters (Lecture Notes in Computer Science, 1546)
by Bernhard Moller, J. V. Tucker
ISBN: 3540654615
Publisher: Springer-Verlag Telos
Pub. Date: 15 May, 1999
List Price: $93.00
Amazon.com Price: $93.00 |
3.
|  | Title: Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science, Vol 755)
by Bernhard Moller, Helmut Partsch, Steve Schuman
ISBN: 0387574999
Publisher: Springer-Verlag
Pub. Date: 01 December, 1993
List Price: $74.95
Amazon.com Price: $74.95 |
4.
|  | Title: Mathematics of Program Construction: 6th International Conference, Mpc 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : Proceedings (Lecture Notes in Computer Science, 2386)
by Bernhard Moller
ISBN: 3540438572
Publisher: Springer-Verlag Telos
Pub. Date: 01 July, 2002
List Price: $57.95
Amazon.com Price: $57.95 |
5.
|  | Title: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Economics and Mathematical Systems)
by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow
ISBN: 0387582339
Publisher: Springer-Verlag
Pub. Date: 01 July, 1994
List Price: $74.95
Amazon.com Price: $74.95 |
