Program Proofs and Loop Invariants

David Taylor

0:00 / 0:00

Program Proofs and Loop Invariants

57 220 просмотров · 13 лет назад

David Taylor

2,79 тыс. подписчиков

57 220 просмотров · 13 лет назад

Introduction to program proofs and loop invariants