NitroFlare Fork Algebras in Algebra, Logic and Computer Science

Discussion in 'E-Books & Tutorials' started by kocogi, Sep 3, 2015.

  1. kocogi

    kocogi Active Member

    Joined:
    May 29, 2012
    Messages:
    17,043
    Likes Received:
    12
    Trophy Points:
    38
    [​IMG]

    Marcelo Fabian Frias, "Fork Algebras in Algebra, Logic and Computer Science"
    English | 2002 | ISBN: 9810248768 | PDF | pages: 230 | 6,5 mb


    Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.[​IMG]
    Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me
    Code:
    Download ( NitroFlare )
    http://nitroflare.com/view/93860B96A995E23/ph9z0.Fork.Algebras.in.Algebra.Logic.and.Computer.Science.Repost.rar
    
    
    
    
    
    
    
    
    
     

Share This Page