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

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997 / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]

資料種別:
図書
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c1997
形態:
xi, 327 p. ; 28 cm
著者名:
ISBN:
9780818680021 [0818680024]
書誌ID:
BA43652652
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, …

Springer

Shaoying Liu, Zhenhua Duan

Springer eBooks Computer Science, Springer International Publishing

IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, IEEE Computer Society. …

IEEE Computer Society

FAABS, Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana, Hinchey, Michael G. (Michael Gerard), …

Springer

Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, María M.

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-

Springer

International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino

Springer

Shaoying Liu, Zhenhua Duan

Springer eBooks Computer Science, Springer International Publishing

International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-

Springer-Verlag

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