Bücher — verification

RU
Methoden der Metaberechnung und ihre Anwendung

Methoden der Metaberechnung und ihre Anwendung

A

С. М. Абрамов

Algorithmen und Theorie
RU
Grundlagen der Softwaretests und -verifikation

Grundlagen der Softwaretests und -verifikation

B

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

Softwareentwicklung
RU
Modellierung paralleler Prozesse. Petri-Netze

Modellierung paralleler Prozesse. Petri-Netze

A

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

Algorithmen und Theorie
EN
ALGORITHM-DESIGN MIT HASKELL

ALGORITHM-DESIGN MIT HASKELL

A

Richard Bird, Jeremy Gibbons

Programmiersprachen