TA The University of Texas at Austin

LAFF – On Programming for Correctness

Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.
CERTIFICATEKatılım Sertifikası
FORMAT100% Online
DURATION7 hafta

What you'll learn

  • Develop assertions describing states in a program.
  • Prove programs correct using logic.
  • Build algorithms using goal-oriented programming techniques.

Details

  • ProviderThe University of Texas at Austin
  • TypeCourse
  • CategorySoftware & Programming
  • LevelIntermediate
  • Duration7 hafta
  • LanguageEnglish

Öğrenenlerimiz ne diyor?

Türkiye'nin yüz akı üniversitelerince hazırlanan; akademik doyuruculuğa sahip eğitim içeriklerinin, etkileşimli videolarla bir araya getirildiği bir üniversiteden eğitim almak istiyorsanız doğru yerdesiniz.
Ramazan Bölükbaşı
Çok yoğun programı olan öğrenciler için büyük bir fırsat. Bir şeylerin gelişmesi değişmesi için çabalamalıyız.
Melis Gülsar
Hızlı desteği ve üst düzey hizmeti ile Campus Online ve Sosyal Medya Sertifika Programı hizmeti sağlayan Adnan Menderes Üniversitesine sonsuz teşekkürlerimi sunuyorum.
Nazif Bayram
$99
CampusOnline Assistant
courses saved

Course Comparison

Institution
Rating
Turkish Subtitles
Level
Duration
Price
Certificate