Books — verification

RU
Metacomputation methods and their applications

Metacomputation methods and their applications

A

С. М. Абрамов

Algorithms and theory
RU
Fundamentals of Software Testing and Verification

Fundamentals of Software Testing and Verification

B

С. М. Старолетов

Software Development
RU
Modeling of Parallel Processes. Petri Nets

Modeling of Parallel Processes. Petri Nets

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

Algorithms and theory
EN
ALGORITHM DESIGN WITH HASKELL

ALGORITHM DESIGN WITH HASKELL

A

Richard Bird, Jeremy Gibbons

Programming languages