>> Google Books
所蔵情報QRコード

A relational theory of computing / John G. Sanderson

資料種別:
図書
出版情報:
Berlin : Springer-Verlag, 1980
形態:
vi, 147 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 82 <BA00009279>
著者名:
Sanderson, John G., 1929- <DA01878531>  
ISBN:
9783540099871 [3540099875] (: gw)
9780387099873 [0387099875] (: us)
書誌ID:
BA01349228
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック A Relational Theory of Computing

Sanderson, John G., SpringerLink (Online service)
7 図書 Computer semantics : studies of algorithms, processors, and languages

Lee, John A. N.

Van Nostrand Reinhold
2 電子ブック A Relational Theory of Computing

Sanderson

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)

Liskov, B., Guttag, John

MIT Press, McGraw-Hill
3 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
9 図書 Systems programming

Donovan, John J.

McGraw-Hill Kogakusha
4 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
10 図書 Systems programming

Donovan, John J.

McGraw-Hill
5 図書 Translating relational queries into iterative programs (: gw ; : us)

Freytag, Johann Christoph, 1954-

Springer-Verlag
11 図書 Path selection for symbolic execution systems

Woods, John Lowe

UMI Research Press
6 図書 Computer programming examples for chemical engineers (pbk)

Ross, George, 1929-

Elsevier
12 図書 Numerical analysis for computers

Lee, John A. N.

Reinhold Pub. Corp.
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12