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

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, proceedings / Eugene Asarin, Patricia Bouyer (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
xi, 367 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4202 <BA00009279>
著者名:
ISBN:
9783540450269 [3540450262]
書誌ID:
BA78856138
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Asarin, Eugene, Bouyer, Patricia, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Dima, Catalin, Shirmohammadi, Mahsa

SpringerLink Books - AutoHoldings, Springer International Publishing

Asarin, Eugene, Bouyer, Patricia, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

International Conference on Software Engineering and Formal Methods

IEEE Computer Society

International Conference on Integrated Formal Methods, Boiten, Eerke A., Derrick, John, Smith, Graeme

Springer

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

Springer

International and Interdisciplinary Conference on Modeling and Using Context, Blackburn, Patrick, 1959-

Springer

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