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

Automatic verification of programs with complex data structures

フォーマット:
図書
責任表示:
Norihisa Suzuki
出版情報:
New York : Garland Pub., 1980
形態:
176 p. ; 22 cm
著者名:
鈴木, 則久(1946-) <DA00071756>  
シリーズ名:
Outstanding dissertations in the computer sciences <BA1154457X>
書誌ID:
BA2607307X
ISBN:
9780824044251 [0824044258]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Smalltalk

鈴木, 則久(1946-)

産業図書
7 図書 Algorithms+data structures=programs

Wirth, Niklaus, 1934-

Prentice-Hall
2 図書 オブジェクト指向 : 解説とWOOC'85からの論文

鈴木, 則久(1946-)

共立出版
8 図書 Data structures and program design

Kruse, Robert Leroy, 1941-

Prentice-Hall
3 図書 Programming language structures

Organick, Elliott Irving, 1925-, Forsythe, Alexandra I., Plummer, Robert P.

Academic Press
9 図書 Data structures and C programs

Van Wyk, Christopher J.

Addison-Wesley
4 図書 Genetic programming and data structures : genetic programming + data structures = automatic programming!

Langdon, W. B. (William B.), Koza, John R.

Kluwer Academic Publishers
10 図書 An introduction to formal program verification

Mili, Ali

Van Nostrand Reinhold Co.
5 図書 プログラミング言語とVLSI

淵, 一博(1936-), 鈴木, 則久(1946-)

岩波書店
11 図書 The foundations of program verification

Loeckx, Jacques, 1931-, Sieber, Kurt, Stansifer, Ryan D.

B.G. Teubner, Wiley
6 図書 Data structures and programming techniques

Maurer, Hermann A., 1941-

Prentice-Hall
12 図書 Program verification using Ada

McGettrick, Andrew D., 1944-

Cambridge University Press