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

Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.)

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

類似資料:

1 電子ブック Formal Methods in Computer-Aided Design

FMCAD 2002, Aagaard, Mark, O'Leary, John W.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : …

FORTE, IFIP Working Group 6.1, Peled, Doron, Vardi, Moshe

Springer
2 図書 Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

FMCAD (Conference), Hu, Alan J., Martin, Andrew K.

Springer
8 図書 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Aagaard, Mark, 1966-, Harrison, J. (John), 1966-

Springer
3 図書 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

FMCAD (Conference), Srivas, Mandayam, Camilleri, Albert

Springer
9 図書 Conceptual modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006 : proceedings

International Conference on Conceptual Modeling, Embley, David W., Olivé, A., 1946-, Ram, Sudha, 1959-

Springer
4 図書 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

FMCAD (Conference), Gopalakrishnan, Ganesh, Windley, Phillip J., 1958-

Springer
10 電子ブック Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Ivrii, Alexander

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
5 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

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

Springer
11 図書 Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto, Wehrheim, Heike

Springer
6 図書 Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : …

Workshop on Randomization and Approximation Techniques in Computer Science, Rolim, José D. P., Vadhan, Salil

Springer
12 図書 Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, W.-P. de, 1943-, FMCO

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