Amazon cover image
Image from Amazon.com

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.

By: Contributor(s): Series: Lecture notes in computer science ; 78.Publication details: Berlin : Springer-Verlag, 1979.Description: viii, 159 p. ; 24 cmISBN:
  • 0387097244 (pbk.)
Subject(s):
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Materials specified Copy number Status Date due Barcode
AM PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) - QA9.59.G677[00008033648] (Browse shelf(Opens below)) 1 Available 00000873384

Includes bibliographical references (p. [153]-157) and index.

There are no comments on this title.

to post a comment.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library