GESJ: Computer Sciences and Telecommunications | Author's Articles Published in GESJ

Computer Sciences and Telecommunications 2016 | No.4(50) [2016.12.31]

USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS

86-92

View article (PDF) or

Computer Sciences and Telecommunications 2016 | No.3(49) [2016.11.30]

THE MODERN APPROACHES IN PARALLEL PROGRAMMING

30-33

View article (PDF) or

Computer Sciences and Telecommunications 2014 | No.3(43) [2014.09.30]

THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS

20-26

View article (PDF) or