Foundation of program verification
By: Contributor(s): Material type:
TextLanguage: English Series: Wiley teubner series in computer sciencePublication details: Chicheter John Wiley 1984Description: 230p. cmSubject(s): DDC classification: - D65,8(B)92, M4;M7
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92 M4;M7 (Browse shelf(Opens below)) | Available | SL0957229 |
There are no comments on this title.
Log in to your account to post a comment.
-
1
An introduction to dewey decimal classification.
by Sehgal R L -
2
An introduction to universal decimal classification.
by Sehgal R L -
3
Applied statistics for library science research
by Sehgal R L -
4
Applied statistics for library science research
by Sehgal R. L. -
5
Applied statistics for library science research
by Sehgal R. L. -
6
Applied statistics for library science research
by Sehgal R. L. -
7
Applied statistics for library science research
by Sehgal R. L. -
8
Applied statistics for library science research
by Sehgal R. L. -
9
Applied statistics for library science research
by Sehgal R. L. -
10
Cataloguing manual AACR - II
by Sehgal R L -
11
Cataloguing manual AACR - II
by Sehgal R L -
12
Cataloguing practice AACR-II.
by Sehgal R L -
13
Computer Based information processing tehniques for librarians edited by R.L. Sehgal
by Sehgal R L -
14
Computer Based information processing tehniques for librarians edited by R.L. Sehgal
by Sehgal R L -
15
Encyclopedic dictionary of urban terms.
by Sehgal R L Ed. -
16
Evaluation of text book collection in Economics and Sociology at post graduate level in Delhi School of Economics Library.
by Sehgal R. L. -
17
Evaluation of text book collection in Economics and Sociology at post graduate level in Delhi School of Economics Library.
by Sehgal R. L. -
18
Evaluation of text book collection in Economics and Sociology at post graduate level in Delhi School of Economics Library.
by Sehgal R. L. -
19
Evaluation of text book collection in Economics and Sociology at post graduate level in Delhi School of Economics Library.
by Sehgal R. L. -
20
Guide to library and information science
by Sehgal R L -
21
Guide to library and information science
by Sehgal R L -
22
Guide to library and information science
by Sehgal R L -
23
Guide to library and information science.
by Sehgal R L -
24
Guide to library and information science.
by Sehgal R L -
25
Guide to library and information science.
by Sehgal R L -
26
Information technology for Librarians
by Sehgal R L -
27
Intranet and internet applications for librarians
by Sehgal R L -
28
Intranet and internet applications for librarians
by Sehgal R L -
29
Introduction to library network
by Sehgal R L -
30
Introduction to Library Science
by Sehgal R L -
31
Manual on computer user training in library science
by Sehgal R L -
32
Number building in dewey decimal classification universal decimal classification & colon classification
by Sehgal R L -
33
Slum upgradation
by Sehgal R L Ed. -
34
Statistical methods for libraians.
by Sardana J L -
35
Statistical methods for librarians
by Sardana J L -
36
Statistical methods for librarians
by Sardana J L -
37
Statistical methods for librarians
by Sardana J L -
38
Statistical methods for librarians
by Sardana J L -
39
Statistical methods for librarians
by Sardana J L -
40
Statistical methods for librarians
by Sardana J L -
41
Statistical methods for librarians
by Sardana J L -
42
Statistical methods for librarians
by Sardana J L -
43
Statistical methods for librarians
by Sardana J L -
44
Statistical methods for librarians
by Sardana J L -
45
Statistical methods for librarians
by Sardana J L -
46
Statistical methods for librarians
by Sardana J L -
47
Statistical methods for librarians
by Sardana J L -
48
Statistical methods in psychology
by Chadha N K -
49
Statistical methods in psychology .
by Chadha N K -
50
Statistical techniques for librarians
by Sehgal R. L.
Foundation of program verification
APA
Loeckx Jaqcaues, Sieber Kurt & Stansifer Ryan D. (1984). Foundation of program verification. Chicheter: John Wiley.
Chicago
Loeckx Jaqcaues, Sieber Kurt and Stansifer Ryan D. 1984. Foundation of program verification. Chicheter: John Wiley.
Harvard
Loeckx Jaqcaues, Sieber Kurt and Stansifer Ryan D. (1984). Foundation of program verification. Chicheter: John Wiley.
MLA
Loeckx Jaqcaues, Sieber Kurt and Stansifer Ryan D. Foundation of program verification. Chicheter: John Wiley. 1984.