عنوان
پدید آورنده
موضوع
رده
QA76.73.A54 A56 1987
QA76
.
73
.
A54
A56
1987
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387179801 (U.S. : pbk.)
(Number (ISBN
3540179801
(Number (ISBN
9780387179803 (U.S. : pbk.)
(Number (ISBN
9783540179801
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
ANNA, a language for annotating Ada programs :
General Material Designation
[Book]
Other Title Information
reference manual /
First Statement of Responsibility
David C. Luckham ... [et al.].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1987.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v, 143 p. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
260.
GENERAL NOTES
Text of Note
Includes index.
Text of Note
Spine title: ANNA reference manual.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. [139]-140.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
TOPICAL NAME USED AS SUBJECT
Ada (Computer program language)
ANNA (Computer program language)
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
73
.
A54
Book number
A56
1987
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Luckham, David C.
ORIGINATING SOURCE
Date of Transaction
20140613190015.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
