Search - List of Books by Richard Waldinger

Total Books: 4
The Deductive Foundations of Computer Programming
The Logical Basis for Computer Programming Deductive Systems
1990 - The Logical Basis for Computer Programming Deductive Systems [Addison-Wesley Series in Computer Science] (Hardcover)
ISBN-13: 9780201182613
ISBN-10: 0201182610
Genres: Computers & Technology, Science & Math, Substores
  ?

The Logical Basis for Computer Programming
1985 - The Logical Basis for Computer Programming [Volume 1] (Hardcover)Paperback
ISBN-13: 9780201182606
ISBN-10: 0201182602
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?