>> Google Books
所蔵情報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
形態:
xi, 569 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 967 <BA00009279>
著者名:
ISBN:
9783540602712 [3540602712]
書誌ID:
BA25802039
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

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-, Hinchey, Michael G. (Michael Gerard), 1969-, …

Springer

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

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

IEEE Computer Society

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