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

Modular specification and verification of object-oriented programs / Peter Müller

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xiv, 292 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2262 <BA00009279>
著者名:
Müller, Peter  
ISBN:
9783540431671 [3540431675]
書誌ID:
BA55535248
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

De Champeaux, Dennis, Lea, Douglas, Faure, Penelope

Addison-Wesley

Meyer, Bertrand, 1950-

Prentice-Hall

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

MIT Press

Knudsen, J. Lindskov

Prentice Hall

Kilov, Haim, Harvey, William, 1938-

Kluwer Academic Publishers

Rine, David C.

IEEE Computer Society Press

Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M.

Cambridge University Press

Ege, Raimund K.

AP Professional

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

MIT Press

Barkakati, Nabajyoti, 1956-

Sams

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