Algorithmic theory of stacks

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 21:04, 2 paź 2018

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Skocz do: nawigacji, wyszukiwania

This is a stub.

Consult the paper Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda. Algorithmic Logic + SpecVer = the methodology for high integrity programming. „Fundamenta Informaticae”, s. 1-17, 2008.

Źródło „http://lem12.uksw.edu.pl/index.php?title=Algorithmic_theory_of_stacks&oldid=2574”