>> Google Books

Modular specification and verification of object-oriented programs

責任表示:
Peter Müller
言語:
英語
出版情報:
Berlin : Springer, c2002
形態:
xiv, 292 p. ; 24 cm
著者名:
Müller, Peter  
シリーズ名:
Lecture notes in computer science ; 2262 <BA00009279>
ISBN:
9783540431671 [3540431675]
書誌ID:
BA55535248
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

Jacobson, Ivar

ACM Press, Addison-Wesley Pub.

Pinson, Lewis J., Wiener, Richard, 1941-

Addison-Wesley Pub. Co.

Shriver, Bruce D., 1940-, Wegner, Peter

MIT Press

Cox, Brad J., 1944-

Addison-Wesley

Agha, Gul A., Wegner, Peter, 米沢, 明憲(1947-)

MIT Press

Campione, Mary, Walrath, Kathy

Addison-Wesley

Budd, Timothy A., 1955-

Addison-Wesley

Garfinkel, Simson, Mahoney, Michael K.

Telos : Springer-Verlag

Cox, Brad J., 1944-

Addison-Wesley

Pinson, Lewis J., Wiener, Richard, 1941-

Addison-Wesley

Wiener, Richard, 1941-, Pinson, Lewis J.

Addison-Wesley Pub. Co.

Keene, Sonya E., Gerson, Dan

Addison-Wesley