>> Google Books

Modern Formal Methods and Applications

フォーマット:
電子ブック
責任表示:
edited by Hossam A. Gabbar
言語:
英語
出版情報:
Dordrecht : Springer, 2006
形態:
v.: digital
著者名:
書誌ID:
NB02213001
ISBN:
9781402042232 [140204223X]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/1-4020-4223-X
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, …

Ölveczky, Peter Csaba, SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Corradini, Andrea, Klin, Bartek, Cîrstea, Corina, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
2 電子ブック Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. …

Breitman, Karin, Cavalcanti, Ana, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
8 電子ブック Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected …

Davies, Jim, Silva, Leila, Simao, Adenilso, SpringerLink (Online service)

Springer Berlin Heidelberg
3 電子ブック Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Wolff, Burkhart, Zaïdi, Fatiha, SpringerLink (Online service)

IFIP International Federation for Information Processing
9 電子ブック Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Oliveira, Marcel Vinicius Medeiros, Woodcock, Jim, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
4 電子ブック Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Fisher, Michael, Thielscher, Michael, Sadri, Fariba, SpringerLink (Online service)

Springer Berlin Heidelberg
10 電子ブック Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Simao, Adenilso, Morgan, Carroll, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
5 電子ブック Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Kurz, Alexander, Lenisa, Marina, Tarlecki, Andrzej, SpringerLink (Online service)

Springer Berlin Heidelberg
11 電子ブック Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods ICFEM 2007 Boca Raton FL USA November 14-15 2007. …

Butler Michael, Larrondo-Petrie Maria M., Hinchey Michael G., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Petrenko, Alexandre, Simão, Adenilso, Maldonado, José Carlos, SpringerLink (Online service)

IFIP International Federation for Information Processing
12 電子ブック Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Berghofer, Stefan, Wenzel, Makarius, Nipkow, Tobias, Urban, Christian, SpringerLink (Online service)

Springer Berlin Heidelberg