• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • English 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
View Item 
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Доказательство правильности программ

Thumbnail
View/Open
eea81af9a9e9836cb524fd3182a0ad8b.djvu (3.444Mb)
Date
1982
Author
Андерсон Р.
Metadata
Show full item record
Abstract
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
URI
http://libarch.nmu.org.ua/handle/GenofondUA/79088
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV