Leveraging applications of formal methods : First International Symposium, ISoLA 2004 : Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Leveraging applications of formal methods : First International Symposium, ISoLA 2004 : Paphos, Cyprus, October 30 - November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2006

形態:

viii, 196 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 4313 <BA00009279>

著者名:

ISBN:

9783540489283 [3540489282]

書誌ID:

BA79439635

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal … Margaria, Tiziana, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing	7 電子ブック Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal … Margaria, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing
2 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, … Margaria, Tiziana., Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer	8 電子ブック Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of … Margaria, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, … Margaria, Tiziana., Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer	9 電子ブック Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing
4 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October … Margaria, Tiziana., Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer	10 電子ブック Leveraging Applications of Formal Methods Margaria, Tiziana, Kanade, Takeo, Margaria-Steffen, Tiziana, Steffen, Bernhard Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, … Margaria, Tiziana., Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing AG	11 電子ブック Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria, Bernhard Steffen., Margaria, Tiziana, Steffen, Bernhard Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, … Margaria, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer International Publishing	12 電子ブック Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria, Bernhard Steffen., Margaria, Tiziana, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12