SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Formal methods of program verification and specification
Edition
Call Number 001.6425 BER
ISBN/ISSN
Author(s) Berg , H.K. - Personal Name
Franta,W.R. - Personal Name
Moher,T.G. - Personal Name
Subject(s) Computer Program Verification
Computer Program Specification
Classification 001.6425
Series Title
GMD Text
Language English
Publisher Prentice-Hall
Publishing Year 1982
Publishing Place New Jersey
Collation xiv,207p
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