Algorithmic theory of stacks: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "==Algorithmic theory of stacks== This is a stub. Consult the paper ({{odn|ref=nie|MSS|2007}}){{cytuj pismo|odn=tak|nazwisko=Mirkowska|imię=Grażyna|nazwisko2=Salwicki|i...") |
(Brak różnic)
|
Wersja z 20:50, 2 paź 2018
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.
