>> 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
他の版・巻

類似資料:

1 図書 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

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

Springer
7 図書 Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers

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

Springer
2 図書 Proceedings, seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11-13, 2001

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

IEEE Computer Society
8 図書 Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

ICFEM, Liu, Zhiming, He, Jifeng, 1943-

Springer
3 図書 Formal approaches to agent-based systems : second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

FAABS, Hinchey, Michael G. (Michael Gerard), 1969-

Springer
9 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

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

Springer
4 図書 Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

FAABS, Hinchey, Michael G. (Michael Gerard), 1969-

Springer
10 図書 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

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

Springer
5 電子ブック Formal Methods and Software Engineering

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 図書 FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

International Symposium of Formal Methods Europe, Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander

Springer
6 電子ブック Formal Methods and Software Engineering

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 図書 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings (: us ; : gw)

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