First-Order Programming Theories
Publisher: Springer
Published: Jun 02, 2011
Format: paperback
Number of pages: 368
ISBN-13: 9783642582066