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

The foundations of program verification

フォーマット:
図書
責任表示:
Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
言語:
英語
出版情報:
Stuttgart [Germany] : B.G. Teubner
Chichester; New York : Wiley, c1984
形態:
ix, 230 p. ; 24 cm
著者名:
シリーズ名:
Wiley-Teubner series in computer science <BA00044644>
書誌ID:
BA00044633
ISBN:
9780471903239 [047190323X] (Wiley)  CiNii Books  Webcat Plus  Google Books
9783519021018 [3519021013] (Teubner)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

McGettrick, Andrew D., 1944-

Cambridge University Press

Hailpern, Brent Tzion, 1955-

Springer-Verlag

Mili, Ali

Van Nostrand Reinhold Co.

Owicki, Susan Speer

Garland Pub.

Berg, H. K. (Helmut K.)

Prentice-Hall

Arsac, Jacques

Academic Press

鈴木, 則久(1946-)

Garland Pub.

International Colloquium on Automata, Languages and Programming, Loeckx, Jacques, 1931-, Gesellschaft für Informatik, &hellip;

Springer-Verlag

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

Springer-Verlag

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

Winthrop Publishers

Polak, Wolfgang, 1950-

Springer-Verlag

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

Springer-Verlag