Algorithmic theory of stacks: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(Algorithmic theory of stacks)
(Algorithmic theory of stacks)
 
Linia 1: Linia 1:
==Algorithmic theory of stacks==
+
 
This is a stub.<br />
 
This is a stub.<br />
  
 
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 }}
 
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 }}

Aktualna wersja na dzień 20:04, 2 paź 2018

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.