Skip to content

History / Books In Russian

Edit page New page

Revisions

  • Updated Books In Russian (markdown)

    @ligurio ligurio committed Jul 8, 2023
    62162e0

  • Updated Books In Russian (markdown)

    @ligurio ligurio committed Jul 8, 2023
    17ab960

  • Актуализировал

    @ligurio ligurio committed Feb 2, 2023
    671f13d

  • Updated Books In Russian (markdown)

    @ligurio ligurio committed Oct 12, 2020
    27f5445

  • Введение в верификацию автоматных программ на основе метода Model checking

    @ligurio ligurio committed Oct 12, 2020
    bb087c0

  • Updated booksi in russian (markdown)

    @ligurio ligurio committed Mar 1, 2020
    8582cad