SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Theory and formal methods of computing 94
Edition
Call Number 005.262 THE/1994
ISBN/ISSN 1-86094-003-x
Author(s) Hankin, C. - Personal Name
Mackie, I. - Personal Name
Nagarajan, R. - Personal Name
Subject(s) Semantics \'Computer\' - Programming
Classification 5.262
Series Title
GMD Text
Language English
Publisher Imperial College Press
Publishing Year 1995
Publishing Place London
Collation ix, 431p
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U