20건
David Lightfoot, 1991 / 판 2개
Ben Potter, 1991 / 판 2개
Nimal Nissanke, 1999
Nimal Nissanke, Nismal Nissanke, 1999 / 판 2개
Mathias Soeken, Rolf Drechsler, 2014 / 판 3개
L. M. G. Feijs, H. B. M. Jonkers, 2005 / 판 3개
John Guttag, James J. Horning, S. J. Garland, 1993 / 판 5개
Frank G. Pagan, 1981
Dines Bjørner, 1982
H. K. Berg, 1980 / 판 3개
International Conference of Z Users (10th 1997 Reading, England), 1997 / 판 3개
Jonathan Bowen, 1996
Gordon Blair, G. Blair, L. Blair, 1997 / 판 2개
E. -R Olderog, Henning Dierks, 2008 / 판 4개
William R. Mallgren, 1983 / 판 2개
Michael Wallace.* Godfrey, 1988 / 판 2개
J.P. Booth, 1987
Donald Sannella, 1986
Farid Meziane, 1994
Mohammad Irfan Ullah Khan, 1999
제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.
