The Foundations of Program Verification (Series in Computer Science)

出版社: Vieweg+Teubner Verlag(2013-10-03)

ペーパーバック: 244 ページ / 15.2 x 1.5 x 22.9 cm

ISBN-10: 3322967549  ISBN-13: 9783322967541