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

Formal differentiation : a program synthesis technique / by Robert A. Paige

資料種別:
図書
出版情報:
Ann Arbor, Mich. : UMI Research Press, c1981
形態:
x, 277 p. ; 24 cm
シリーズ名:
Computer science ; Artificial intelligence ; no. 6 <BA00374274>
著者名:
Paige, Robert A. <DA05470500>  
ISBN:
9780835712132 [0835712133]
書誌ID:
BA12360765
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Algorithms+data structures=programs

Wirth, Niklaus, 1934-

Prentice-Hall
7 図書 Techniques of program structure and design

Yourdon, Edward, 1944-

Prentice-Hall
2 図書 Algorithms : the construction, proof, and analysis of programs (: pbk)

Berlioux, Pierre, Bizard, Philippe

J. Wiley
8 図書 Techniques in computer programming

Sherman, Philip M.

Prentice-Hall
3 図書 P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)

Thayse, André, 1940-

Springer-Verlag
9 図書 COBOL programming

Stern, Nancy B., Stern, Robert A.

Wiley
4 図書 Formal description of programming concepts (gw ; us)

Neuhold, Erich J., 1940-, Paul, Manfred, 1932-, Apt, Krzysztof R., 1949-, IFIP Working Group 2.2

Springer-Verlag
10 図書 Computer data processing and programming

Gildersleeve, Thomas Robert

Prentice-Hall
5 図書 Efficiency in program synthesis

Kant, Elaine

UMI Research Press
11 図書 Computer programming: techniques, analysis, and mathematics

Andree, Richard Vernon, 1919-, Andree, Josephine P., Andree, David D.

Prentice-Hall
6 図書 APL programming and computer techniques

Katzan, Harry

Van Nostrand Reinhold
12 図書 Modern programming practices : a report from industry

Glass, Robert L., 1932-

Prentice-Hall
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12