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

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

フォーマット:
図書
責任表示:
edited by D. Bjørner ... [et al.]
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
形態:
ix, 422 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 252 <BA00009279>
書誌ID:
BA00453483
ISBN:
9783540176541 [3540176543] (: gw)
9780387176543 [0387176543] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag
7 図書 FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

International Symposium of Formal Methods Europe, Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander

Springer
2 図書 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
8 図書 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, …

International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Jones, Cliff B., 1944-, Lucas, Peter, 1955-

Springer
3 図書 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
9 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
4 図書 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-

Springer-Verlag
10 図書 FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings

FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963-

Springer
5 図書 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
11 図書 Towards a formal description of Ada

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag
6 図書 FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland), Cuellar, Jorge, Maibaum, Thomas S. E., &hellip;

Springer
12 図書 Formal specification and software development

Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-, Andrews, Derek

Prentice-Hall International