The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

このページのQRコード

The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

種類:

電子ブック

責任表示:

edited by G. Goos, J. Hartmanis, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth

出版情報:

Berlin, Heidelberg : the United States Government, 1990

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 155

ISBN:

9783540468417 [3540468412]

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)

オンライン

http://dx.doi.org/10.1007/3-540-12328-8

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Programming Languages, Compilers, Interpreters
分類・件名:	LCSH : Computer science FREE : Computer Science FREE : Programming Languages, Compilers, Interpreters
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006051

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック The Programming Language Ada Reference Manual : Proposed Standard Document United States Department of Defense Goos, G., Hartmanis, J., Brauer, W., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., … United States Government	7 電子ブック GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973 Goos, G., Hartmanis, J., Gries, D., Brinch Hansen, P., Seegmüller, G., Wirth, N., SpringerLink (Online service) Springer-Verlag
2 電子ブック Advances in Cryptology — EUROCRYPT ’88 : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., … Springer Verlag Berlin Heidelberg	8 電子ブック The Programming Language Ada. Reference Manual : American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 Hutchison, David., Kanade, Takeo., Kittler, Josef., Kleinberg, Jon., Kobsa, Alfred., Mattern, Friedemann., Mitchell, … Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics Blikle, Andrzej., Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., … Springer Berlin Heidelberg : Imprint: Springer	9 図書 The Programming language Ada reference manual : American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983 United States. Dept. of Defense, American National Standards Institute Springer-Verlag
4 電子ブック Computer Programs for Spelling Correction: An Experiment in Program Design Goos, G., Hartmanis, J., Brauer, W., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., … Springer-Verlag	10 電子ブック DIANA An Intermediate Language for Ada Goos, Gerhard, Wulf, William A., Evans, Arthur, Butler, Kenneth J., SpringerLink (Online service) Springer-Verlag
5 電子ブック Theoretical Computer Science : 3rd Gl Conference Darmstadt, March 28–30, 1977 Goos, G., Hartmanis, J., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., SpringerLink … Springer-Verlag	11 電子ブック ANNA A Language for Annotating Ada Programs Luckham, David C., Henke, Friedrich W., Krieg-Brückner, Bernd, Owe, Olaf, SpringerLink (Online service) Springer-Verlag
6 電子ブック Conpar 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings Brauer, W., Hansen, P. Brinch, Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., Händler, Wolfgang, … Springer-Verlag	12 電子ブック Towards a Formal Description of Ada Bjørner, D., Nest, O. N., SpringerLink (Online service) Springer-Verlag