The Foundations of Program Verification

Foundations

von: Jacques Loeckx · Kurt Sieber

Pappbilderbuch

ISBN-13: 978-3-519-02101-8

ISBN-10: 3-519-02101-3

Vieweg & Teubner · 1984

Siehe auch:
2013TaschenbuchThe Foundations of Program Verification (Series in Computer Science)
1987HardcoverThe Foundations of Program Verification, 2nd Edition
1987Gebundene AusgabeThe Foundations of Program Verification (Series in Computer Science)