Jasa Cari & Print Ebook Murah Berkualitas > Cari Buku & Print Ebook Murah Berkualitas > Knowledgebase

Search help:

Data Buku Logical Framework Books


Data Buku Logical Framework Books



  Author(s) Title Publisher Year
  Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.) Lecture Notes in Computer Science 4350 Springer-Verlag Berlin Heidelberg 2007
    All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic [1 ed.]
    3540719407, 9783540719403    
  Gèrard Huet, Gordon Plotkin Logical frameworks Cambridge University Press 1991
    0521413001, 9780521413008    
  Gerard Huet, G. Plotkin (editors) Logical Frameworks CUP 1991
    0521413001, 9780521413008    
  Andrea Cantini Studies in Logic and the Foundations of Mathematics 135 Elsevier 1996
    Logical Frameworks for Truth and Abstraction: An Axiomatic Study  
    0444823069, 9780444823069, 9780080535586    
Was this article helpful? yes / no
Article details
Article ID: 401
Category: Knowledgebase
Date added: 2016-04-20 02:56:35
Views: 94
Rating (Votes): Article rated 3.9/5.0 (7)

« Go back

Powered by Help Desk Software HESK, in partnership with SysAid Technologies