Proceedings of FMSP '98 : the Second Workshop on formal methods in software practice, March 4-5, 1998, Clearwater Beach, Florida, USA, co-located with ISSTA '98 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

Proceedings of FMSP '98 : the Second Workshop on formal methods in software practice, March 4-5, 1998, Clearwater Beach, Florida, USA, co-located with ISSTA '98

責任表示:: edited by Mark Ardis ; sponsored by ACM SIGSOFT
シリーズ名:: ACM Conference Proceedings
シリーズ巻号:: FMSP 1998
出版情報:: New York: Association for Computing Machinery, 1998
ISBN:: 9780897919548 [0897919548]
請求記号:: A04450/000241
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00058936
シリーズＩＤ:	PA00000044
会議名:	Workshop on formal methods in software practice : FMSP
回次:	2nd
会議開催地:	Clearwater Beach, FL, USA
会議開催年:	1998.03.04-1998.03.05

類似資料:

1 国際会議録 FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA , October 30, 2003, co-located with CCS'03 Association for Computing Machinery	7 国際会議録 Imaging and Geospatial Technology Forum (IGTF 2015) : ASPRS Annual Conference and co-located JACIE Workshop : Tampa, Florida, USA 4-8 May 2015 American Society for Photogrammetry and Remote Sensing
2 国際会議録 FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA , October 29, 2004, co-located with CCS 2004 Association for Computing Machinery	8 国際会議録 DOLAP '05 : proceedings of the eighth ACM international workshop on data warehousing and OLAP : November 4-5, 2005, Bremen, Germany : co-located with CIKM 2005 Association for Computing Machinery
3 国際会議録 FMSE'05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005 Association for Computing Machinery	9 国際会議録 4th International Workshop on Exception Handling 2008 (WEH 08) : Co-located with the 16th ACM SIGSOFT International Symposium on the Foundations of Software … Association for Computing Machinery
4 国際会議録 WISER 2004 : ACM Workshop on Interdisciplinary Software Engineering Research, November 5, 2004, Newport Beach, California, USA : co-located with SIGSOFT … Association for Computing Machinery	10 国際会議録 Proceedings of the First International Workshop on Software and Performance, WOSP 98, October 12-16, 1998, Santa Fe, New Mexico, USA Association for Computing Machinery
5 国際会議録 1st International Workshop on Random Testing : RT 2006 : co-located with the International Symposium on Software Testing and Analysis (ISSTA 2006), July 20, … Association for Computing Machinery	11 国際会議録 VSSN '04 : proceedings of the ACM Second International Workshop on Video Surveillance & Sensor Networks, October 15, 2004, New York, NY, USA, co-located with … Association for Computing Machinery
6 国際会議録 MMDB 2004 : proceedings of the Second ACM International Workshop on Multimedia Databases : co-located with CIKM 2004, November 13, 2004, Washington, DC, USA Association for Computing Machinery	12 国際会議録 WMASH 2004 : proceedings of the Second ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots : co-located with MobiCom 2004, … Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12