First-Order Programming Theories
Publisher: Springer Berlin / Heidelberg
Published: 2012
Language: eng
Number of pages: 353
ISBN-13: 9783642635038