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

Theory of program structures : schemes, semantics, verification

種類:
図書
責任表示:
Sheila A. Greibach
出版情報:
Berlin ; New York : Springer-Verlag, 1975
著者名:
Greibach, Sheila, 1939- <DA0217092X>  
シリーズ名:
Lecture notes in computer science ; 36 <BA00009279>
ISBN:
9783540074151 [3540074155] (: gw)  CiNii Books  Calil
9780387074153 [0387074155] (: us)  CiNii Books  Calil
注記:
Includes bibliography and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Theory of Program Structures: Schemes, Semantics, Verification

Greibach, Sheila A., SpringerLink (Online service)

Springer-Verlag
7 図書 First-order programming theories

Gergely, T. (Tamás), Úry, László, 1953-

Springer-Verlag
2 電子ブック Theory of Program Structures : Schemes, Semantics, Verification

Greibach, Sheila A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Studies in automatic programming logic

Manna, Zohar, Waldinger, Richard

North-Holland
3 図書 Genetic algorithms + data structures = evolution programs

Michalewicz, Zbigniew, 1952-

Springer-Verlag
9 図書 Program style, design, efficiency, debugging, and testing

Van Tassel, Dennie, 1939-

Prentice-Hall
4 図書 Algorithms+data structures=programs

Wirth, Niklaus, 1934-

Prentice-Hall
10 図書 Foundations of programming

Arsac, Jacques

Academic Press
5 図書 Structure and interpretation of computer programs

Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

MIT Press, McGraw-Hill
11 図書 Systems programming

Donovan, John J

McGraw-Hill
6 図書 Structure and interpretation of computer programs

Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

MIT Press
12 図書 Literate programming

Knuth, Donald Ervin, 1938-

Center for the Study of Language and Information