DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
RECORD DETAIL
Back To Previous
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
Developed By
Implemented by: Anees ur Rehman