Algorithmic theory of stacks

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 19:50, 2 paź 2018

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

Skocz do: nawigacji, wyszukiwania

Algorithmic theory of stacks

This is a stub. Consult the paper (MSS 2007 ↓)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=2572”