>> Google Books
所蔵情報QRコード

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
xii, 778 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4260 <BA00009279>
著者名:
ISBN:
9783540474609 [3540474609]
書誌ID:
BA79321952
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)

Springer

International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco

Springer

International Conference on Software Engineering and Formal Methods

IEEE Computer Society

ACM International Workshop on Traceability in Emerging Forms of Software Engineering, Maletic, Jonathan I. (Jonathan …

Association for Computing Machinery

Liu, Zhiming, He, Jifeng, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Workshop on Software Engineering for Automotive Systems, International Conference on Software Engineering

Association for Computing Machinery

International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, …

Springer

FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12