Verifiable Programming (Prentice-hall International Series in Computer Science)

Programming

by Ole-Johan Dahl

Paperback

details (USA).

ISBN: 978-0-13-951062-5

ISBN-10: 0-13-951062-1

Prentice Hall · 1992