2nd Workshop on Automated Formal Methods : AMF 07, at ASE 07, November 6, 2007, Atlanta, Georgia, USA | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

2nd Workshop on Automated Formal Methods : AMF 07, at ASE 07, November 6, 2007, Atlanta, Georgia, USA / Workshop on Automated Formal Methods ; ACM/IEEE International Conference on Automated Software Engineering ; Association for Computing Machinery

資料種別:

図書

出版情報:

New York, NY : Association for Computing Machinery, c2007

形態:

76 p. ; 28 cm

著者名:

ISBN:

9781605605937 [160560593X]

書誌ID:

BA89533968

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	AMF 2007 AMF'07: Second Workshop on Automated Formal Methods
注記:	Includes bibliographical references and index
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 22nd ACM/IEEE International Conference on Automated Software Engineering : ASE 07, November 5-9, 2007, Atlanta, Georgia, USA ACM/IEEE International Conference on Automated Software Engineering, IEEE Computer Society, ACM Sigsoft, SIGART Association for Computing Machinery	7 電子ブック Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE) International Conference on Automated Software Engineering 2007, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
2 図書 Workshop on Automating Service Quality : WRASQ 07, at ASE 07, November 6, 2007, Atlanta, Georgia, USA Workshop on Automating Service Quality, ACM/IEEE International Conference on Automated Software Engineering, Association … Association for Computing Machinery	8 図書 The 3rd ACM International Workshop on Traceability in Emerging Forms of Software Engineering : TEFSE 2005 : proceedings : 8 November 2005, Long Beach, … ACM International Workshop on Traceability in Emerging Forms of Software Engineering, Maletic, Jonathan I. (Jonathan … Association for Computing Machinery
3 図書 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies : WEASELTech 2007, at ASE 07, November 5, 2007, … ACM International Workshop on Empirical Assessment of Software Engineering languages and Technologies, ACM/IEEE … Association for Computing Machinery	9 図書 Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed … SIGAda, Association for Computing Machinery ACM Press
4 電子ブック Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering … International Conference on Automated Software Engineering 2007, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	10 図書 2nd International Workshop on Virtualization Technology in Distributed Computing 2007 (VTDC 07) : Reno, Nevada, USA, 12 November 2007 International Workshop on Virtualization Technology in Distributed Computing, Association for Computing Machinery Association for Computing Machinery
5 図書 2st International Workshop on Random Testing : RT 2007, at ASE 07, November 6, 2007, Atlanta, Georgia, USA International Workshop on Random Testing, ACM/IEEE International Conference on Automated Software Engineering Association for Computing Machinery	11 電子ブック Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering Gnesi, Stefania, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd … International Conference on Automated Software Engineering 2007, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	12 電子ジャーナル IEEE/ACM International Conference on Automated Software Engineering - Workshops (ASE Workshops) IEEE Electronic Library (IEL) Conference Series, IEEE

1

2

3

4

5

6

7

8

9

10

11

12