<図書>

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)

(Lecture notes in computer science;1601)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1999
大きさ x, 353 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference on Algebraic Methodology and Software Technology (5th : 1999 : Bamberg, Germany)
Katoen, Joost-Pieter
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Parallel processing (Electronic computers) -- Congresses
LCSH:Electronic data processing -- Distributed processing -- Congresses
LCSH:Formal nethods (Computer science) -- Congresses
分 類 LCC:QA76.54
LCC:QA76.9.F67
DC21:005.2/73
本文言語 英語
書誌ID 2000964544
ISBN 3540660100
NCID BA41733913 WCLINK

類似資料

  1. 1 Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñes (eds.)
  2. 2 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings / Hartmut König, Monika Heiner, Adam Wolisz (eds.)
  3. 3 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings / Miquel Bertran, Teodor Rus, (eds.)
  4. 4 Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China / edited by Jianping Wu, Samuel T. Chanson, Qiang Gao
  5. 5 Real time programming, 1977 : proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977 / edited by C.H. Smedema
  6. 6 Real-time systems : design principles for distributed embedded applications / by Hermann Kopetz
  7. 7 NAPAW 92 : proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 / S. Purushothaman and Amy Zwarico (eds.)
  8. 8 Introduction to real-time software design / S.T. Allworth
  9. 9 Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
  10. 10 Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)

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