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

Methods of programming : selected papers on the CIP-project

種類:
図書
責任表示:
M. Broy, M. Wirsing, (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
著者名:
シリーズ名:
Lecture notes in computer science ; 544 <BA00009279>
ISBN:
9783540545767 [354054576X] (: Berlin)  CiNii Books  Calil
9780387545769 [038754576X] (: New York)  CiNii Books  Calil
注記:
Includes bibliographical references and indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Methods of Programming : Selected Papers on the CIP-Project

Broy, Manfred, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
7 図書 Computer programs for spelling correction : an experiment in program design

Peterson, James Lyle, 1949-

Springer-Verlag
2 電子ブック Methods of Programming : Selected Papers on the CIP-Project

Broy, Manfred., Wirsing, Martin., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Advanced programming : a practical course

Barron, D. W. (David William), 1935-, Bishop, J. M. (Judith Mary), 1951-

Wiley
3 図書 Programming and mathematical method

Broy, M., 1949-

Springer-Verlag
9 図書 Introduction to computer programming with the BASIC language

Deitel, Harvey M., 1945-

Prentice-Hall
4 図書 Mathematical methods in program development

NATO Advanced Study Institute on Mathematical Methods in Program Development, Broy, M., 1949-, Schieder, Birgit

Springer
10 電子ブック The Munich Project CIP : Volume II: The Program Transformation System CIP-S

Bauer, F. L., Ehler, H., Horsch, A., Möller, B., Partsch, H., Paukner, O., Pepper, P., SpringerLink (Online service)

Springer-Verlag
5 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
11 図書 Foundations of programming

Arsac, Jacques

Academic Press
6 電子ブック The Munich Project CIP

Brauer, F. L., Berghammer, R., Dosch, W., Gnatz, R., Hangel, E., Möller, B., Partsch, H., Pepper, P., Samelson, K., &hellip;

Springer-Verlag
12 図書 Systems programming

Donovan, John J

McGraw-Hill