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

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

種類:
図書
責任表示:
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1990
著者名:
シリーズ名:
Lecture notes in computer science ; 428 <BA00009279>
ISBN:
9783540525134 [3540525130] (: gw)  CiNii Books  Calil
9780387525136 [0387525130] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Bjørner, Dines., Hoare, C.A.R., Langmaack, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Endres, Albert, Weber, Herbert, 1940-

Springer-Verlag
2 電子ブック VDM '90 VDM and Z — Formal Methods in Software Development : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Bjørner, D., Hoare, C. A. R., Langmaack, H., SpringerLink (Online service)

Springer-Verlag
8 図書 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
3 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-

Springer-Verlag
9 電子ブック VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : …

Prehn, Soren., Toetenel, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

VDM-Europe Symposium, Bjørner, Dines, 1937-

Springer-Verlag
10 電子ブック VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : …

Prehn, Soren., Toetenel, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : …

International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-

Springer
11 図書 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel

Springer-Verlag
6 電子ブック VDM '91 Formal Software Development Methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Prehn, Søren, Toetenel, Hans, SpringerLink (Online service)

Springer-Verlag
12 電子ブック VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Bjørner, Dines, Jones, Cliff B., Mac an Airchinnigh, Mícheál, Neuhold, Erich J., SpringerLink (Online service)

Springer-Verlag