Albert R. Meyer is a name that may refer to various individuals, including a notable figure in the field of computer science and education. He is known for his contributions to algorithms, formal methods in computing, and his work in theoretical computer science. He has co-authored several influential textbooks and research papers. If you are looking for information about a specific Albert R. Meyer or a different context involving that name, please provide more details!
Articles by others on the same topic
Albert R. Meyer is a coauthor of Mathematics for Computer Science by Eric Lehman and others, which develops proofs, discrete structures and probability for reasoning about computation. Its treatment connects mathematical induction, graph models and counting to algorithmic questions and program correctness.[ref]
Mathematics for Computer Science by Eric Lehman and others. title page and contents