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...") |
(→Algorithmic theory of stacks) |
||
| Linia 1: | Linia 1: | ||
==Algorithmic theory of stacks== | ==Algorithmic theory of stacks== | ||
| − | This is a stub. | + | This is a stub.<br /> |
| − | Consult the paper | + | |
| + | Consult the paper {{cytuj pismo|odn=tak|nazwisko=Mirkowska|imię=Grażyna|nazwisko2=Salwicki|imię2=Andrzej|nazwisko3=Świda|imię3=Oskar| tytuł=Algorithmic Logic + SpecVer = the methodology for high integrity programming|czasopismo=Fundamenta Informaticae|rok=2008|strony=1-17 |url=http://lem12.uksw.edu.pl/images/1/10/AL%2BSpecVer.pdf }} | ||
Wersja z 19:53, 2 paź 2018
Algorithmic theory of stacks
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.
