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

عنوان
Theory of program structures:Schemes, Semantics, Verification

پدید آورنده
Greinach, Sheila

موضوع
Programming ، Electronic digital computers,Recurlive programming,، Computer programs

رده
QA
76
.
6
.
G743
1975

کتابخانه
Central Library and Information Center of Ferdowsi University of Mashhad

محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad

Central Library and Information Center of Ferdowsi University of Mashhad

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

OTHER STANDARD IDENTIFIER

Standard Number
35593

TITLE AND STATEMENT OF RESPONSIBILITY

First Statement of Responsibility
Greinach, Sheila
Title Proper by Another Author
9391-
Title Proper
Theory of program structures:Schemes, Semantics, Verification

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Barlin; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1975

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
389P. in various paginger: ill

SERIES

Series Title
Lecture notes in computer science, 63

GENERAL NOTES

Text of Note
Includes bibliographies and index

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
Sheila A. Greibach

TOPICAL NAME USED AS SUBJECT

Entry Element
Programming ، Electronic digital computers
Entry Element
Recurlive programming
Entry Element
، Computer programs

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
6
.
G743
1975

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU

TI
SE

LOCATION AND CALL NUMBER

Call Number Suffix
CLن‌وجی

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