| | Books 1 - 10 of 13 | Previous | Next | 
|  | | Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-0, 2002. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Eerke A. Boiten (Editor), Bernhard Möller (Editor)
Paperback, 263 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 995. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Gilles Dowek (Editor), Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor)
Paperback, 287 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Prospects for Hardware Foundations: Esprit Working Group 8533 : Nada--New Hardware Design Methods, Survey Chapters (Lecture Notes in Computer Science)
by Bernhard Moller (Editor), J. V. Tucker (Editor)
Paperback, 468 Pages, Published 1999 by Springer-Verlag Telos
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Program Development: IFIP TC2/WG 2. State-of-the-Art Report (Lecture Notes in Computer Science) (1st Edition)
by Bernhard Möller (Editor), Helmut Partsch (Editor), Steve Schuman (Editor)
Paperback, 371 Pages, Published 1993 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers (Lecture Notes in Computer Science) (1st Edition)
by R. Berghammer (Editor), Bernhard Möller (Editor), Georg Struth (Editor)
Paperback, 279 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 7 - 2, 995. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Bernhard Möller (Editor)
Paperback, 472 Pages, Published 1995 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)
by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow (Editor)
Paperback, 351 Pages, Published 1994 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 993. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)
Paperback, 344 Pages, Published 1994 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Prospects for Hardware Foundations : ESPRIT Working Group 8533: NADA - NewHardware Design Methods, Survey Chapters
by Bernhard (editor); Tucker, J. V. (editor) Moller
Hardcover, Published 1998 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|