The Logical Basis for Computer Programming
Subtitle: Deductive Systems (Addison-Wesley Series in Computer Science)
Publisher: Addison-Wesley Pub (Sd)
Published: January 1990
Language: eng
Number of pages: 650
ISBN-13: 9780201182613