このページのリンク

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)
(Lecture notes in computer science ; 1055)

データ種別 図書
出版情報 New York : Springer , c1996
本文言語 英語
大きさ xi, 434 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:S88:T33:1996
3540610421 002117621

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *TACAS (2nd : 1996 : Passau)
Margaria, Tiziana
Steffen, Bernhard
件 名 LCSH:System design -- Congresses  全ての件名で検索
LCSH:Computer software -- Development -- Congresses  全ての件名で検索
LCSH:Electronic data processing -- Distributed processing -- Congress  全ての件名で検索
分 類 NDC9:007.61
LCC:QA76.9.S88
DC20:004.2/1
巻冊次 ISBN:3540610421 REFWLINK
ISBN 3540610421
NCID BA27378888
目次/あらすじ

 類似資料