Fork Algebras in Algebra, Logic and Computer Science
Marcelo Fabian Frias
Gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Covers all the essentials in order to provide the reader with a better understanding.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
