SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 2 from your keywords:
Author : "Loeckx, Jacques"
Query took 3.55259 second(s) to complete
Automata, languages and programming
Author(s) : Loeckx, Jacques -
Edition :
Call Number : 005.131 AUT
Record Detail
The foundations of program verification
Author(s) : Loeckx, Jacques. - Sieber, Kurt. -
Edition : 2nd ed.
Call Number : 005.14 LOE
Record Detail




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