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

An introduction to formal program verification

フォーマット:
図書
責任表示:
Ali Mili
言語:
英語
出版情報:
New York : Van Nostrand Reinhold Co., c1985
形態:
xii, 291 p. ; 24 cm
著者名:
Mili, Ali <DA00069448>  
書誌ID:
BA00040472
ISBN:
9780442263225 [0442263228]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Berg, H. K. (Helmut K.)

Prentice-Hall

Hailpern, Brent Tzion, 1955-

Springer-Verlag

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

B.G. Teubner, Wiley

Owicki, Susan Speer

Garland Pub.

McGettrick, Andrew D., 1944-

Cambridge University Press

Constable, R. L. (Robert L.), O'Donnell, Michael J., 1952-, Johnson, Scott D.

Winthrop Publishers

鈴木, 則久(1946-)

Garland Pub.

Apt, Krzysztof R., 1949-, Olderog, E.-R.

Springer-Verlag

Constable, R. L. (Robert L.), Johnson, Scott D., Eichenlaub, C. D.

Springer-Verlag

Barringer, Howard, 1951-

Springer-Verlag

Polak, Wolfgang, 1950-

Springer-Verlag

Ustunel, A. S. (Ali Süleyman)

Springer-Verlag