Lecture Notes in Computer Science: Program Construction: International Summer School

by Friedrich L. Bauer Paperback details (United States). ISBN: 978-0-387-09251-5 ISBN-10: 0-387-09251-X Springer Verlag · 1979