>> Amazon.co.jp
このページのQRコード

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

種類:
図書
責任表示:
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
出版情報:
Berlin : Springer, c2000
著者名:
シリーズ名:
Lecture notes in computer science ; 1945 <BA00009279>
ISBN:
9783540411963 [3540411968]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Operating systems of the 90s and beyond : International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991 : proceedings

Karshmer, A. (Arthur), 1940-, Nehmer, Jürgen, 1942-

Springer-Verlag
2 図書 IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

International Conference on Integrated Formal Methods (1st : 1999 : York, England), 荒木, 啓二郎, Galloway, Andy, 1968-, 田口,

Springer
8 図書 Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings

Fronhöfer, B. (Bertram), 1952-, Wrightson, Graham

Springer-Verlag
3 電子ブック Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Kirchner, Hélène, Wechler, Wolfgang, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Operating Systems of the 90s and Beyond : International Workshop Dagstuhl Castle, Germany, July 8–12 1991 Proceedings

Karshmer, Arthur, Nehmer, Jürgen, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Kirchner, Helene., Wechler, Wolfgang., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Parallelization in Inference Systems : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings

Fronhöfer, B., Wrightson, G., SpringerLink (Online service)

Springer-Verlag
5 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-

Springer-Verlag
11 電子ブック Analogical and Inductive Inference : International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
6 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert

Springer
12 電子ブック Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

Schneider, Hans Jürgen, Ehrig, Hartmut, SpringerLink (Online service)

Springer-Verlag