>> Google Books
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
Zhiming Liu, Jifeng He (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2006
形態:
xii, 778 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 4260 <BA00009279>
書誌ID:
BA79321952
ISBN:
9783540474609 [3540474609]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : …

ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike

Springer
7 図書 Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : …

ICFEM, George, Chris, Miao, Huaikou

Springer
2 図書 Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

ICFEM, Dong, Jin Song, 1967-, Woodcock, James

Springer
8 図書 Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE '99, …

International Conference on Software Engineering and Knowledge Engineering, Ruhe, Günther, Bomarius, Frank

Springer
3 図書 Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, &hellip;

Springer
9 図書 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings

International Conference on Algebraic Methodology and Software Technology, Haeberer, Armando Martín, 1947-

Springer
4 図書 Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco

Springer
10 図書 Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

International Conference on Algebraic Methodology and Software Technology, Rus, Teodor

Springer
5 図書 Fundamental approaches to software engineering : 5th International Conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice …

FASE, Kutsche, Ralf-Detlef, Weber, Herbert, 1940-, European Conferences on Theory and Practice of Software

Springer
11 図書 Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings

International Conference on Algebraic Methodology and Software Technology, Johnson, Michael, Vene, Varmo

Springer
6 図書 Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

International Conference on Integrated Formal Methods, Boiten, Eerke A., Derrick, John, Smith, Graeme

Springer
12 図書 Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice …

FASE, European Conferences on Theory and Practice of Software, Pezzè, Mauro

Springer