>> Amazon.co.jp
このページのQRコード

Types and programming languages

種類:
図書
責任表示:
Benjamin C. Pierce
出版情報:
Cambridge, Mass. : MIT Press, c2002
著者名:
Pierce, Benjamin C. <DA05815373>  
ISBN:
9780262162098 [0262162091] (: hc)  CiNii Books  Calil
注記:
Includes bibliographical references (p. [567]-603) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Programming Languages : An active learning approach

Lee, Kent D.

Springer US
7 図書 Theories of programming languages

Reynolds, John C., 1935-

Cambridge University Press
2 図書 Programming methodology

Mclver, Annabelle, Morgan, Carroll

Springer
8 図書 PostScript language : program design

Reid, Glenn C., Adobe Systems

Addison-Wesley
3 図書 Dynamic Programming : A Computational Tool

Lew, Art, Mauch, Holger

Springer
9 図書 Basic category theory for computer scientists

Pierce, Benjamin C.

MIT Press
4 図書 Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming

Jaffar, Joxan, Joint International Conference and Symposium on Logic Programming

MIT Press
10 図書 Programming languages and their definition

Bekič, H. (Hans), 1936-1982, Jones, C. B. (Cliff B.), 1944-

Springer-Verlag
5 図書 POSIX programmer's guide : writing portable UNIX programs with the POSIX.1 standard

Lewine, Donald A., Dougherty, Dale

O'Reilly & Associates
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 図書 Concepts in programming language

Mitchell, John C.

Cambridge University Press
12 図書 ANNA : a language for annotating Ada programs : reference manual

Luckham, David C.

Springer-Verlag