Übersetzung - Englisch > Russisch: Hoare logic
Diese Begriffe könnten für Sie auch interessant sein:
en | ru | |
Hoare logic | хоаровÑÐºÐ°Ñ Ð»Ð¾Ð³Ð¸ÐºÐ° (формализм Ð´Ð»Ñ Ñ‡Ð°Ñтичного доказательÑтва правильноÑти программ) |
Diese Begriffe könnten für Sie auch interessant sein: