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

Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions

フォーマット:
図書
責任表示:
Bertrand Meyer, Jim Woodcock (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2008
形態:
xxiii, 546 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 4171 <BA00009279>
書誌ID:
BA88148167
ISBN:
9783540691471 [3540691472]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers

TAP, Gurevich, Yuri, Meyer, Bertrand, 1950-

Springer
7 図書 SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

SPIN, Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-

Springer
2 図書 Languages and compilers for parallel computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 : revised selected papers

Workshop on Languages and Compilers for Parallel Computing, Adve, Vikram, Garzarán, María Jesús, Petersen, paul

Springer
8 図書 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

CAV (Conference), Dill, David L.

Springer-Verlag
3 図書 Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

International Dagstuhl Seminar, Numerical Software with Result Verification, Alt, René, Frommer, Andreas, Kearfott, R. &hellip;

Springer
9 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

SPIN, Bošnački, Dragan, Leue, Stefan

Springer
4 図書 Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, …

International Workshop on Compiler Construction, Duesterwald, Evelyn, European Conferences on Theory and Practice of &hellip;

Springer
10 図書 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

CAV (Conference), Hu, Alan J., Vardi, Moshe

Springer-Verlag
5 図書 Software quality -- ECSQ 2002 : Quality Connection -- 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : proceedings

European Conference on Software Quality, Kontio, Jyrki, Conradi, Reidar

Springer
11 図書 Languages and compilers for parallel computing : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers

Workshop on Languages and Compilers for Parallel Computing, Almasi, George S., 1938-, Caşcaval, Cǎlin, Wu, Peng

Springer
6 図書 Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain

Springer
12 図書 Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, …

International Workshop on Compiler Construction, Watt, David Anthony, 1946-, European Conferences on Theory and Practice &hellip;

Springer