Informatyka MIMUW

  • Materiały
Strona główna › Wstęp do programowania - podejście imperatywne › Wykłady

Wykład 08: Częściowa poprawność

wt., 12/13/2011 - 00:17 — pch
ZałącznikWielkość
PoprawnoscHoare.pdf145.2 KB
‹ Wykład 07: Gramatyki(2) Instrukcje Pascala w górę Wykład 09: Całkowita poprawność ›
  • logika Hoare'a
  • Wersja do wydruku