>> Amazon.co.jp
このページのQRコード

FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

種類:
電子ブック
責任表示:
edited by Marie-Claude Gaudel, James Woodcock
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1996
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 1051
ISBN:
9783540497493 [3540497498]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-60973-3
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, …

Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Cousot, Radhia, Schmidt, David A., SpringerLink (Online service)

Springer-Verlag
2 図書 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, …

International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James

Springer-Verlag
8 電子ブック Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings

Cousot, Patrick, Falaschi, Moreno, Filé, Gilberto, Rauzy, Antoine, SpringerLink (Online service)

Springer-Verlag
3 電子ブック FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

Naftalin, Maurice, Denvir, Tim, Bertran, Miquel, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Nielson, Hanne Riis, SpringerLink (Online service)

Springer-Verlag
4 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)

Springer-Verlag
10 電子ブック FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Naftalin, Maurice., Denvir, Tim., Bertran, Miquel., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

Möller, Bernhard, Partsch, Helmut, Schuman, Steve, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Object Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings

Futatsugi, Kokichi, Matsuoka, Satoshi, SpringerLink (Online service)

Springer-Verlag
12 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

Woodcock, James C.P., Larsen, Peter G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer