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

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer, c1997
形態:
x, 433 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1212 <BA00009279>
著者名:
ISBN:
9783540627173 [3540627170]
書誌ID:
BA30114454
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

International Conference of B and Z Users, Treharne, Helen, King, Steve, Henson, Martin C., Schneider, Steve

Springer

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

Springer

ICFEM, Hinchey, Michael G. (Michael Gerard), 1969-, Liu, Shaoying, 1960-, IEEE Computer Society, IEEE Computer Society. …

IEEE Computer Society

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

Springer

International Conference of B and Z Users, Bert, Didier, Bowen, J. P. (Jonathan Peter), 1956-, Henson, Martin C., …

Springer

FAABS, Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana, Hinchey, Michael G. (Michael Gerard), …

Springer

International Conference of Z Users, Bowen, Jonathan Peter, Hinchey, Michael Gerard

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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