Abstrakte Algebra

	Applied Abstract Algebra (Undergraduate Texts in Mathematics) von Rudolf Lidl		Nonstandard Analysis and Vector Lattices (Mathematics and its Applications Volume 525) von S. S. Kutateladze
	Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science) von Sergiu Rudeanu		Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers (Lecture Notes in Computer Science Vol. 906) von Egidio Astesiano
	Recent Trends in Data Type Specification. 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science Vol. 534) von Hartmut Ehrig		Recent Trends in Data Type Specification. 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers (Lecture Notes in Computer Science Vol. 1130) von Magne Haveraaen
	Modular Compiler Verification. A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science Vol. 1283) von Markus Müller-Olm		Linear Algebra. An Introduction to Abstract Mathematics (Undergraduate Texts in Mathematics) von Robert J. Valenza
	Recent Trends in Algebraic Development Techniques. 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers (Lecture Notes in Computer Science Vol. 1589) von Jose L. Fiadeiro		Recent Trends in Algebraic Development Techniques. 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science Vol. 1376) von Francesco Parisi-Presicce
	FM'99 - Formal Methods. World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science Vol. 1708) von Jeannette M. Wing

• Mathe Forum