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

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

種類:
図書
責任表示:
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)
出版情報:
Berlin ; New York : Springer, c1998
著者名:
シリーズ名:
Lecture notes in computer science ; 1493 <BA00009279>
ISBN:
9783540650706 [3540650709]  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 図書 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-

Springer
7 図書 Euro-Par'98 parallel processing : 4th international Euro-Par conference Southampton, UK,September 1-4, 1998 proceedings

Pritchard, David, Reeve, Jeff,

Springer
2 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service)

Springer-Verlag
8 図書 ZB 2003 : Formal Specification and Development in Z and B : 3rd International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

International Conference of B and Z Users, Bert, Didier, Bowen, J. P. (Jonathan Peter), 1956-, King, Steve, Walden, &hellip;

Springer
3 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings

Workshop on Languages and Compilers for Parallel Computing, Chatterjee, Siddhartha

Springer
4 図書 Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings

DISC, Kutten, Shay

Springer
10 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers

International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, &hellip;

Springer
5 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer
11 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

SAS, Cortesi, Agostino, Filé, Gilberto

Springer
6 図書 Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic, European Association for Computer Science Logic, Clote, Peter G., Schwichtenberg, &hellip;

Springer
12 図書 Security in communication networks : Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002 : revised papers

SCN, Cimato, Stelvio, Galdi, Clemente, Persiano, Giuseppe

Springer