عنوان
پدید آورنده
موضوع
رده
QA 76.6 .H66 1993
QA
76
.
6
.
H66
1993
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000002521
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Larch
First Statement of Responsibility
John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 250 p. ; 25 cm
Other Physical Details
, 2521 , 2-1
SERIES
Series Title
Texts and monographs in computer science
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
languages and tools for formal specification
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references )p. ]230[-238( and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic digital computers -- Programming
Entry Element
Computer software -- Development
Entry Element
Larch )Computer program language(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
H66
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Guttag, John
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Entry Element
Horning, J. J. )James J.(
