The Foundations of Program Verification (Series in Computer Science)

Foundations

von Kurt Sieber

Gebunden

ISBN: 978-3-519-12101-5

ISBN-10: 3-519-12101-8

Vieweg+Teubner Verlag · 1987

Siehe auch:
1987HardcoverThe Foundations of Program Verification, 2nd Edition
1984PappbilderbuchThe Foundations of Program Verification