<図書>

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)

(Lecture notes in computer science;873)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.873 2012535023

7253/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
大きさ xi, 723 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)
Naftalin, Maurice, 1951-
Denvir, Tim
Bertran, Miquel
件 名 LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.1/01/5113
本文言語 英語
書誌ID 2000354459
ISBN 3540585559
NCID BA23607702 WCLINK

類似資料

  1. 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, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
  2. 2 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
  3. 3 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
  4. 4 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
  5. 5 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.)
  6. 6 Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.)
  7. 7 FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
  8. 8 Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / Vincenzo Ambriola (ed.)
  9. 9 《UML》 2000 - the unified modeling language : advancing the standard : Third International Conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.)
  10. 10 《UML》 2001 - the Unified Modeling Language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.)

検索結果一覧に戻る ページトップ