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

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

種類:
図書
責任表示:
Jonathan P. Bowen, Michael G. Hinchey (eds.)
出版情報:
Berlin ; New York : Springer, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 967 <BA00009279>
ISBN:
9783540602712 [3540602712]  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

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

Springer-Verlag
7 図書 Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992 : proceedings

International Workshop on Compiler Construction, Kastens, Uwe, Pfahler, P. (Peter), 1956-

Springer-Verlag
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 Berlin Heidelberg : Imprint: Springer
8 図書 Integer programming and combinatorial optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999 : proceedings

Conference on Integer and Combinatorial Optimization, Cornuejols, Gerard, 1950-, Burkard, Rainer E., 1943-, Woeginger, &hellip;

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

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael &hellip;

Springer
9 電子ブック Security and Privacy in Communication Networks : 7th International ICST Conference, SecureComm 2011, London, September 7-9, 2011, Revised Selected Papers

Rajarajan, Muttukrishnan., Piper, Fred., Wang, Haining., Kesidis, George., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 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
10 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic

Springer
5 図書 Advances in formal methods

Hinchey, Michael G. (Michael Gerard), 1969-

Kluwer Academic
11 電子ブック Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans, SpringerLink (Online service)

Springer-Verlag
6 図書 Understanding formal methods

Monin, Jean François, 1960-, Hinchey, Michael G. (...Michael Gerard...), 1969-

Springer
12 電子ブック Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Kleine Buening, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer