• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
An introduction to the PL/CV2 programming logic

پدید آورنده
Constable, Robert L.

موضوع
، PL/CV )Computer program language(,، Computer programs - Verification

رده
QA
76
.
L4
v
.
135

کتابخانه
Central Library and Documentation Center

محل استقرار
استان: Kerman ـ شهر: Kerman

Central Library and Documentation Center

تماس با کتابخانه : 03433257204

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
An introduction to the PL/CV2 programming logic

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1982

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
x, 292 p. : ill. ; 24 cm

SERIES

Other Title Information
Lectures notes in computer science, 531

GENERAL NOTES

Text of Note
Includes bibliographies and index

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
R.L. Constable, S.D. Johnson, C.D. Eichenlaub

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، PL/CV )Computer program language(
Entry Element
، Computer programs - Verification

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
L4
v
.
135

OTHER CLASS NUMBERS

Class number
CA
Class number
001
.
64/24

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Constable, Robert L.
Relator Code
AU

AU Johnson, S. D.
AU Eichenlaub, C. D.
TI
SE

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival